阿尔贝托·齐法格利翁;伊万·斯卡格内托 弱HOAS中的机械化环境。 (英语) Zbl 1332.68202号 西奥。计算。科学。 606, 57-78 (2015)。MSC公司:68吨15 第68页第18页 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciafglione}和\textit{I.Scagnetto},Theor。计算。科学。606、57-78(2015年;Zbl 1332.68202) 全文: 内政部
安德烈·波佩斯库;格里高·罗什乌 术语通用逻辑。 (英语) Zbl 1310.03044号 西奥。计算。科学。 577, 1-24 (2015)。MSC公司:03B70号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Popescu}和\textit{G.Roşu},Theor。计算。科学。577,1-24(2015年;兹bl 1310.03044) 全文: 内政部 链接