坎通纳,多梅尼科;阿尔弗雷多·费罗 可计算集合论技术及其在证明验证中的应用。 (英语) Zbl 0852.03004号 Commun公司。纯应用程序。数学。 48,编号9-10,901-945(1995). 审核人:J.M.Plotkin(东兰辛) MSC公司:03B25号 03E99型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}和\textit{A.Ferro},Commun。纯应用程序。数学。48,编号9--10,901--945(1995;Zbl 0852.03004) 全文: 内政部
坎通纳,多梅尼科;阿尔弗雷多·费罗;尤金尼奥·奥莫多 可计算集合理论。第1卷。 (英语) Zbl 0755.03024号 国际计算机科学专著系列. 6. 牛津:大学出版社。十二、 第347页(1989年)。 审核人:J.M.Plotkin(东兰辛) MSC公司:03E30年 03B25号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,可计算集理论。第1卷。牛津:大学出版社(1989;Zbl 0755.03024)
坎通纳,D。;费罗,A。;Omodeo,E.G.公司。 集合论初等子语言的决策过程。八、。非量化集合论公式有限可满足性的半决策过程。 (英语) Zbl 0645.03007号 Commun公司。纯应用程序。数学。 41,第1期,第105-120页(1988年). 审核人:J.M.普洛金 MSC公司:03B25号 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,Commun。纯应用程序。数学。41,编号1,105-120(1988;Zbl 0645.03007) 全文: 内政部
坎通纳,D。;费罗,A。;J.T.施瓦茨。 集合论初等子语言的决策过程。广义并算子推广的多级三段论。 (英语) 兹比尔0634.03008 J.计算。系统。科学。 34, 1-18 (1987). 审核人:J.M.普洛金 MSC公司:03B25号 03E99型 03立方厘米30 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,J.Compute。系统。科学。34、1-18(1987年;Zbl 0634.03008) 全文: 内政部
坎通纳,D。;J.T.施瓦茨。;费罗,A。 集合论初等子语言的决策过程。六: 幂集算子扩展的多级三段论。 (英语) Zbl 0582.03005号 Commun公司。纯应用程序。数学。 38, 549-571 (1985). 审核人:J.M.普洛金 MSC公司:03B25号 1999年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,Commun。纯应用程序。数学。38、549--571(1985;Zbl 0582.03005) 全文: 内政部 链接
布雷班,M。;费罗,A。;Omodeo,E.G.公司。;J.T.施瓦茨。 集合论初等子语言的决策过程。二、。包含限定量词以及序数、整数、映射和域概念的公式。 (英语) 兹伯利0465.03003 Commun公司。纯应用程序。数学。 34, 177-195 (1981).MSC公司:03B25号 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Breban}等人,Commun。纯应用程序。数学。34177-195(1981年;兹bl 0465.03003) 全文: 内政部
费罗,A。;Omodeo,E.G.公司。;J.T.施瓦茨。 集合论某些片断的决策过程。 (英语) Zbl 0457.03009号 自动扣除,第五届Conf.,Les Arcs/France 1980,Lect。注释计算。科学。87, 88-96 (1980).MSC公司:03B25号 03立方厘米30 PDF格式BibTeX公司 XML格式
阿尔弗雷多·费罗;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;雅各布·T·施瓦茨。 集合论初等子语言的决策过程。一: 多层次三段论和一些扩展。 (英语) Zbl 0453.03009号 Commun公司。纯应用程序。数学。 33, 599-608 (1980).MSC公司:03B25号 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ferro}等人,Commun。纯应用程序。数学。33、599--608(1980年;Zbl 0453.03009) 全文: 内政部