亚当·科拉尼 在减少一般可满足性问题中的反向解决。 (英语) Zbl 1202.03027号 螺柱日志。 95,编号3,407-416(2010).MSC公司:03B35型 03B05号 05年6月15日 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Kolany},螺柱日志。95,第3号,407--416(2010;Zbl 1202.03027) 全文: 内政部
罗伯特·考恩;亚当·科拉尼 Davis-Putnam风格的规则用于确定属性S。 (英语) Zbl 1121.03017号 芬丹。通知。 79,第1-2号,第5-15号(2007年).MSC公司:03年2月25日 03B35型 05年6月15日 05C15号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Cowen}和\textit{A.Kolany},Fundam。通知。79,编号1--2,5--15(2007;Zbl 1121.03017)
亚当·科拉尼 Rado选择引理和其他组合语句得到一致证明。 (英语) Zbl 1117.03344号 牛市。第节。日志。,大学后勤部。 34,第3期,143-149(2005).MSC公司:03E25型 03E05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kolany},公牛。第节。日志。,大学后勤部。34,第3号,143--149(2005;Zbl 1117.03344)
亚当·科拉尼 Radå选择引理和其他组合陈述得到了一致的证明。 (英语) Zbl 1023.03524号 Wratislav大学学报。 2180,日志。19, 71-74 (1999).MSC公司:03年2月25日 05年6月15日 PDF格式BibTeX公司 XML格式引用 \textit{A.Kolany},拉季斯拉夫大学学报。2180,71--74(1999;Zbl 1023.03524)
亚当·科拉尼 超图可满足性的表示定理。 (英语) Zbl 0874.03011号 牛市。第节。日志。,大学后勤部。 26,第1期,第12-19页(1997年).MSC公司:03年2月25日 05年6月15日 PDF格式BibTeX公司 XML格式引用 \textit{A.Kolany},公牛。第节。日志。,大学后勤部。26,编号1,12--19(1997;Zbl 0874.03011)
亚当·科拉尼 基于超图可满足性的结果运算。 (英语) 兹比尔0871.03005 螺柱日志。 58,第2期,261-272(1997).MSC公司:03B35型 05年6月15日 03年2月25日 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kolany},螺柱日志。58,第2号,261--272(1997;Zbl 0871.03005) 全文: 内政部
A.科拉尼。 超图的逻辑。 (英语) Zbl 0789.05074号 Gottlob,Georg(编辑)等人,《计算逻辑和证明理论》。1993年8月24日至27日,第三届库尔特·哥德尔学术讨论会,KGC’93,捷克共和国布尔诺。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。713, 231-242 (1993).MSC公司:05年6月15日 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kolany},莱克特。注释计算。科学。713、231--242(1993;Zbl 0789.05074)
亚当·科拉尼 超图的可满足性。 (英语) 兹比尔0790.003010 螺柱日志。 52,第3号,393-404(1993).MSC公司:03B35型 05年6月15日 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{A.Kolany},螺柱日志。52,第3号,393--404(1993;Zbl 0790.03010) 全文: 内政部
亚当·科拉尼 超图的逻辑方面。 (英语) Zbl 0786.03022号 牛市。第节。日志。,大学后勤部。 22,第1期,第18-23页(1993年). 审核人:A.ádám(布达佩斯) MSC公司:03B99号 05年6月15日 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kolany},公牛。第节。日志。,大学后勤部。22,第1号,18--23(1993;Zbl 0786.03022)