威尔弗里德·巴赫霍尔茨(编辑);莱因哈德·卡勒(编辑) 特刊:赫尔穆特·施维希滕贝格60岁生日庆典。论文基于2002年4月5日在德国慕尼黑举行的小型研讨会“Ein Bogen von der Beweistheorie zur Informatik”上的陈述。 (英语) Zbl 1078.03502号 Ann.纯粹应用。逻辑 133,第1-3期,340页。(2005).MSC公司:03-06 68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{W.Buchholz}(编辑)和\textit{R.Kahle}(主编),Ann.Pure Appl。逻辑133,No.1--3340~p.(2005;Zbl 1078.03502) 全文: 内政部
威弗里德·西格;克林顿·菲尔德 自动搜索哥德尔的证明。 (英语) Zbl 1064.03010号 Ann.纯粹应用。逻辑 133,编号1-3,319-338(2005).MSC公司:03B35型 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Sieg}和\textit{C.Field},Ann.Pure Appl。逻辑133,编号1--3319--338(2005;Zbl 1064.03010) 全文: 内政部
Robert F.Stärk。 严格和惰性函数程序的公理。 (英语) Zbl 1067.68045号 Ann.纯粹应用。逻辑 133,编号1-3293-318(2005).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Stärk},Ann.纯应用。逻辑133,编号1--3,293--318(2005;Zbl 1067.68045) 全文: 内政部
奥斯特林,G.E。;韦纳,S.S。 基本算术。 (英语) Zbl 1065.03040号 Ann.纯粹应用。逻辑 133,编号1-3,275-292(2005). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03英尺30英寸 2015年3月1日 03D20日 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Ostrin}和\textit{S.S.Wainer},Ann.Pure Appl。逻辑133,编号1--3,275--292(2005;Zbl 1065.03040) 全文: 内政部
卡尔·海因茨·奈格尔 程序中的控制结构和计算复杂性。 (英语) Zbl 1064.68029号 Ann.纯粹应用。逻辑 133,编号1-3,247-273(2005).MSC公司:68号30 2015年第68季度 68甲15 68甲18 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{K.-H.Niggl},Ann.纯粹应用。逻辑133,No.1--3,247--273(2005;Zbl 1064.68029) 全文: 内政部
格里戈里薄荷;张婷 \((0,1)\)中S4的拓扑完备性证明。 (英语) Zbl 1133.03009号 Ann.纯粹应用。逻辑 133,编号1-3,231-245(2005).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints}和\textit{T.Zhang},Ann.纯应用。逻辑133,编号1--3,231--245(2005;Zbl 1133.03009) 全文: 内政部
拉尔夫·马提斯 经典自然演绎的非严格正不动点。 (英语) Zbl 1066.03057号 Ann.纯粹应用。逻辑 133,编号1-3,205-230(2005). 审核人:M.Yasuhara(普林斯顿) MSC公司:05年3月 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Matthes},Ann.纯苹果。逻辑133,编号1-3205-230(2005;Zbl 1066.03057) 全文: 内政部
艾西克,佐尔坦;汉斯·雷伊 代数完全半环和Greibach范式。 (英语) Zbl 1066.68084号 Ann.纯粹应用。逻辑 133,编号1-3,173-203(2005). 审核人:丹尼尔拉·马林内斯库(布拉索夫) MSC公司:70年第68季度 第68季度第42季度 2016年60月 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{Z.e-sik}和\textit{H.Leiß},Ann.Pure Appl。逻辑133,编号1--3,173-203(2005;Zbl 1066.68084) 全文: 内政部
伊贡博格尔 抽象状态机:计算模型和系统设计框架的统一视图。 (英语) Zbl 1066.68047号 Ann.纯粹应用。逻辑 133,编号1-3,149-171(2005). 审核人:丹尼尔拉·马林内斯库(布拉索夫) MSC公司:2005年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger},Ann.纯应用。逻辑133,编号1--3,149-171(2005;Zbl 1066.68047) 全文: 内政部
乌尔里希·伯杰 统一Heyting算法。 (英语) Zbl 1081.03057号 Ann.纯粹应用。逻辑 133,编号1-3,125-148(2005).MSC公司:03英尺30英寸 07年3月 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger},Ann.《纯粹的应用》。逻辑133,编号1--3,125-148(2005;Zbl 1081.03057) 全文: 内政部
巴哈雷赫巴德班;范德波尔(Jaco van de Pol) BDD中的零、继承和平等。 (英语) Zbl 1064.03009号 Ann.纯粹应用。逻辑 133,编号1-3,101-123(2005).MSC公司:03B20型 03B25号 03B35型 68吨15 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}和\textit{J.van de Pol},Ann.Pure Appl。逻辑133,编号1--3,101-123(2005;Zbl 1064.03009) 全文: 内政部 链接
卢卡·阿尔贝鲁奇;贾格尔,格哈德 关于常识逻辑的截消。 (英语) Zbl 1067.03062号 Ann.纯粹应用。逻辑 133,编号1-3,73-99(2005). 审核人:G.E.Mints(斯坦福) MSC公司:05年3月 03B42号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{L.Alberucci}和\textit{G.Jäger},Ann.Pure Appl。逻辑133,编号1-3,73-99(2005;Zbl 1067.03062) 全文: 内政部
克劳斯·艾利格;费利克斯·约阿奇姆斯基 λ-微积分和哥德尔T的连续归一化。 (英语) Zbl 1066.03055号 Ann.纯粹应用。逻辑 133,编号1-3,39-71(2005). 审核人:G.E.Mints(斯坦福) MSC公司:05年3月 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.Aehlig}和\textit{F.Joachimski},Ann.纯粹应用。逻辑133,编号1--3,39-71(2005;Zbl 1066.03055) 全文: 内政部
萨姆森·艾布拉姆斯基;拉德哈·贾加迪桑 通用多态性的游戏语义。 (英语) Zbl 1066.68074号 Ann.纯粹应用。逻辑 133,编号1-3,3-37(2005). 审核人:弗拉基米尔·科门丹茨基(科克) MSC公司:第68季度55 03B40型 03G30型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}和\textit{R.Jagadeesan},Ann.纯苹果。逻辑133,编号1--3,3--37(2005;Zbl 1066.68074) 全文: 内政部 arXiv公司