谢尔盖·阿特莫夫(编辑);Mislove,迈克尔(编辑) 特刊:Clifford讲座和编程语义的数学基础,以及第18期编程语义数学基础研讨会,美国洛杉矶新奥尔良,2002年3月20日至26日。讲座和受邀演讲。 (英语) 1098.68500兹罗提 西奥。计算。科学。357,第1-3期,279页。(2006). MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
莉丝·法斯特鲁普;马丁·劳恩;埃里克·古堡 代数拓扑和并发。 (英语) Zbl 1099.55003号 西奥。计算。科学。 357,编号1-3,241-278(2006). 审核人:乔纳森·霍奇森(费城) MSC公司:55页99 99年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Fajstrup}等人,Theor。计算。科学。357,编号1-3241-278(2006年;兹bl 1099.55003) 全文: 内政部
弗雷德里克·德·杰格;马丁·埃斯卡多;加布里埃尔·桑蒂尼 关于Lawson拓扑的计算内容。 (英语) Zbl 1107.03050号 西奥。计算。科学。 357,编号1-3,230-240(2006). 审核人:Lisbeth Fajstrup(奥尔堡) MSC公司:03D45号 03层60 06B35号 第54页 PDF格式BibTeX公司 XML格式引用 \textit{F.De Jaeger}等人,Theor。计算。科学。357,编号1--3,230-240(2006;Zbl 1107.03050) 全文: 内政部
谢尔盖·斯拉夫诺夫 线性逻辑的几何语义(乘法片段)。 (英语) 邮编1094.03060 西奥。计算。科学。 357,编号1-3,215-229(2006).MSC公司:03G30型 03楼52 第53页第12页 81页第10页 53D50型 81S10号 PDF格式BibTeX公司 XML格式引用 \textit{S.斯拉夫诺夫},Theor。计算。科学。357,编号1--3,215--229(2006;Zbl 1094.03060) 全文: 内政部
赫尔穆特·施维赫滕贝格 多项式时间计算的算法。 (英语) Zbl 1118.03052号 西奥。计算。科学。 357,编号1-3,202-214(2006). 审核人:罗德尼·唐尼(惠灵顿) MSC公司:30楼03号 68号30 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{H.Schwichtenberg},Theor。计算。科学。357,编号1--3,202-214(2006;Zbl 1118.03052) 全文: 内政部
马蒂·彭特斯 Lambek演算是NP-完全的。 (英语) 兹伯利1104.03013 西奥。计算。科学。 357,编号1-3186-201(2006). 审核人:米洛斯·阿瓦·科·奥斯卡·加维耶诺维奇(波兹南) MSC公司:03B47号 2017年第68季度 03楼52 PDF格式BibTeX公司 XML格式引用 \文本{M.Pentus},Theor。计算。科学。357,编号1--3,186-201(2006;Zbl 1104.03013) 全文: 内政部
帕维尔·瑙莫夫 子类型的逻辑。 (英语) Zbl 1094.03020号 西奥。计算。科学。 357,编号1-3,167-185(2006).MSC公司:03B70型 03B40型 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \文本{P.Naumov},Theor。计算。科学。357,编号1--3167-185(2006;Zbl 1094.03020) 全文: 内政部
弗拉基米尔·克鲁普斯基。 证明的引用逻辑。 (英语) Zbl 1094.03047号 西奥。计算。科学。 357,编号1-3,143-166(2006).MSC公司:03层45 30楼03号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.N.Krupski},Theor。计算。科学。357,编号1--3,143-166(2006;Zbl 1094.03047) 全文: 内政部
尼古拉·克鲁普西五世。 关于证明的反映逻辑的复杂性。 (英语) Zbl 1094.03046号 西奥。计算。科学。 357,编号1-3,136-142(2006).MSC公司:03层45 20层03 PDF格式BibTeX公司 XML格式引用 \文本{N.V.Krupski},Theor。计算。科学。357,编号1--3,136-142(2006;Zbl 1094.03046) 全文: 内政部
乔治·贾帕里泽 从真理到可计算性。一、。 (英语) Zbl 1094.03019号 西奥。计算。科学。 357,编号1-3,100-135(2006).MSC公司:03B70型 03B47号 03楼50 2010年第68季度 68T27型 68立方英尺 91A05型 03楼52 91A80型 PDF格式BibTeX公司 XML格式引用 \文本{G.Japaridze},Theor。计算。科学。357,编号1--3,100-135(2006;Zbl 1094.03019) 全文: 内政部 arXiv公司
马丁·海兰德;戈登·普洛金;权力,约翰 组合效果:和和和张量。 (英语) Zbl 1096.68088号 西奥。计算。科学。 357,编号1-3,70-99(2006).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Hyland}等人,Theor。计算。科学。357,编号1-3,70-99(2006年;Zbl 1096.68088) 全文: 内政部 链接
纳鸿·德肖维茨;克洛德·基什内尔 抽象规范演示。 (英语) Zbl 1099.03047号 西奥。计算。科学。 357,编号1-3,53-69(2006).MSC公司:03财年03 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{C.Kirchner},Theor。计算。科学。357,编号1--3,53-69(2006;Zbl 1099.03047) 全文: 内政部
Samuel R.巴斯。 多项式大小Frege和(st)-连通性和十六进制重言式的分辨率证明。 (英语) Zbl 1094.03044号 西奥。计算。科学。 357,编号1-3,35-52(2006).MSC公司:20层03 05C40号 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss},Theor(西奥)。计算。科学。357,编号1--3,35-52(2006;Zbl 1094.03044) 全文: 内政部
弗拉基米尔·勃列日涅夫;罗马库兹涅茨 让知识明确:这有多困难。 (英语) 邮编1094.03006 西奥。计算。科学。 357,编号1-3,23-34(2006).MSC公司:03B42号 03层45 03B45号 20层03 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{V.勃列日涅夫}和\textit{R.库兹涅茨},提奥。计算。科学。357,编号1--3,23-34(2006;Zbl 1094.03006) 全文: 内政部
谢尔盖·阿特莫夫 合理的常识。 (英语) 邮编1094.03005 西奥。计算。科学。 357,编号1-3,4-22(2006).MSC公司:03B42号 03层45 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \文本{S.Artemov},Theor。计算。科学。357,编号1--3,4--22(2006;Zbl 1094.03005) 全文: 内政部