权力,约翰 计算效果的通用模型。 (英语) 邮编1123.18005 西奥。计算。科学。 364,第2期,254-269(2006). 审核人:弗拉基米尔·科门丹斯基(索菲亚·安蒂波利斯) MSC公司:18日第10天 18甲15 18个C20 18 C50 18个40 18A35型 PDF格式BibTeX公司 XML格式引用 \文本{J.Power},Theor。计算。科学。364,第2号,254--269(2006;Zbl 1123.18005) 全文: 内政部
吉安路易吉·贝林;马丁·海兰德;埃德蒙·罗宾逊;城市,基督教 经典命题演算的范畴证明理论。 (英语) Zbl 1121.03086号 西奥。计算。科学。 364,第2期,146-165(2006). 审核人:米歇尔·伊坦(斯特拉斯堡) MSC公司:03G30型 07年3月 03B05号 18B99型 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Bellin}等人,Theor。计算。科学。364,第2号,146--165(2006;Zbl 1121.03086) 全文: 内政部