保罗·安德烈·梅利埃 异步游戏3是一个简单的线性逻辑模型。 （英语） Zbl 1272.03157号 Birkedal，L.（编辑），计算机科学范畴理论第十届会议论文集（CTCS 2004），丹麦哥本哈根，2004年8月12-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记122，171-192（2005）。理学硕士：03楼52 18 C50 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{P.-A.Melliès}，电子。理论注释。计算。科学。122、171--192（2005年；Zbl 1272.03157） 全文： 链接
斯特凡·米利厄斯;劳伦斯·莫斯。 递归程序方案的范畴理论解。 （英语） Zbl 1151.68376号 JoséLuiz Fiadeiro等人，《计算机科学中的代数和余代数》。第一届国际会议，2005年CALCO，2005年9月3日至6日，英国斯旺西。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28620-9/pbk）。计算机科学课堂讲稿3629293-312（2005）。理学硕士：68号30 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{S.Milius}和\textit{L.S.Moss}，莱克特。注释计算。科学。3629、293--312（2005年；Zbl 1151.68376） 全文： 内政部 arXiv公司
Hasuo，一郎;巴特·雅各布斯 通过联合语义跟踪的无上下文语言。 （英语） Zbl 1131.68057号 JoséLuiz Fiadeiro等人，《计算机科学中的代数和余代数》。第一届国际会议，2005年CALCO，2005年9月3日至6日，英国斯旺西。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28620-9/pbk）。计算机科学课堂讲稿3629213-231（2005）。理学硕士：68问题55 65年第68季度 18B10型 18个C20 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{I.哈索}和\textit{B.雅各布斯}，莱克特。注释计算。科学。3629、213--231（2005；Zbl 1131.68057） 全文： 内政部
法比奥·加杜奇;乌戈·蒙塔纳里 图形处理与融合：再次通过colimits并发。 （英语） Zbl 1075.68058号 Kreowski，Hans-Jörg（编辑）等人，《软件和系统建模中的形式化方法》。在哈特穆特·埃里格60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-24936-2/pbk）。《计算机科学讲义》3393，84-100（2005）。理学硕士：68问题85 2012年第68季度 18A30型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}和\textit{U.Montanari}，莱克特。注释计算。科学。3393、84-100（2005年；Zbl 1075.68058） 全文： 内政部
乌韦·沃尔特 签名态射的无余余代数。 （英语） Zbl 1075.68056号 Kreowski，Hans-Jörg（编辑）等人，《软件和系统建模中的形式化方法》。在哈特穆特·埃里格60岁生日之际献给他的散文。柏林：施普林格出版社（ISBN 3-540-24936-2/pbk）。计算机科学讲座笔记3393，275-290（2005）。理学硕士：68问题65 08A70号 18A30型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{U.Wolter}，莱克特。注释计算。科学。3393、275--290（2005年；Zbl 1075.68056） 全文： 内政部
乌尔里奇·法伦伯格 一类高维自动机。 （英语） Zbl 1119.68126号 Sassone，Vladimiro（编辑），《软件科学和计算结构基础》。2005年4月4日至8日在英国爱丁堡举行的第八届国际会议FOSSACS 2005，该会议是欧洲软件理论与实践联合会议ETAPS 2005的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25388-2/pbk）。计算机科学课堂讲稿3441187-201（2005）。理学硕士：68问题85 18B20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释计算。科学。3441187--201（2005；Zbl 1119.68126） 全文： 内政部
伊恩·斯塔克 用于\（\pi\）-微积分的自由代数模型。 （英语） Zbl 1119.68130号 Sassone，Vladimiro（编辑），《软件科学和计算结构基础》。2005年4月4日至8日在英国爱丁堡举行的第八届国际会议FOSSACS 2005，该会议是欧洲软件理论与实践联合会议ETAPS 2005的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25388-2/pbk）。计算机科学课堂讲稿3441155-169（2005）。理学硕士：68问题85 68问题55 18 C50 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释计算。科学。3441，155--169（2005；Zbl 1119.68130） 全文： 内政部
J.莱尔德。 局部布尔域。 （英语） Zbl 1077.68049号 西奥。计算。科学。 342，第1期，132-148（2005）.理学硕士：68问题55 03楼52 18 C50 PDF格式BibTeX公司 XML格式引用 \文本{J.Laird}，Theor。计算。科学。342，编号1，132--148（2005；Zbl 1077.68049） 全文： 内政部
刘福春 规则有序等式逻辑体系中的Lawvere定理及其粘合理论的初始（终端）语义。 （中文。英文摘要） Zbl 1074.68035号 J.软件。 16，第7期，1205-1209（2005）.理学硕士：68问题55 68问题65 18 C50 68号30 03C95号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{F.-C.刘}，J.Softw。16，编号71205-1209（2005年；兹bl 1074.68035）
刘妮;李盛刚 笛卡尔闭稳定范畴。 （英语） 兹比尔1081.18009 信息科学。 171，编号1-3，173-187（2005）. 审核人：Hirokazu Nishimura（筑波） 理学硕士：18日第15天 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Liu}和\textit{S.-G.Li}，信息科学。171，编号1--3，173-187（2005；Zbl 1081.18009） 全文： 内政部
约翰内斯·伯格斯特伦;乌韦·内斯特曼 关于spi演算的互模拟。 （英语） Zbl 1077.18004号 数学。结构。计算。科学。 15，第3期，487-552（2005）. 审核人：Lisbeth Fajstrup（奥尔堡） 理学硕士：18 C50 68问题85 60年第68季度 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.Borgström}和\textit{U.Nestmann}，数学。结构。计算。科学。15，第3号，487--552（2005；Zbl 1077.18004） 全文： 内政部
本诺·范登伯格 归纳类型和准确完成。 （英语） Zbl 1064.03041号 Ann.纯粹应用。逻辑 134，编号2-3，95-121（2005）.理学硕士：03G30型 35楼03号 03楼50 18 C50 18对25 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg}，Ann.《纯粹的应用》。逻辑134，No.2--3，95-121（2005；Zbl 1064.03041） 全文： 内政部
玛丽亚·艾米莉亚·梅埃蒂;Paola Maneggia;瓦莱里亚·佩瓦;艾克·里特 直觉线性逻辑的关联范畴语义。 （英语） Zbl 1067.03067号 申请。类别。结构。 13，第1期，1-36页（2005年）.理学硕士：03G30型 03楼52 18 C50 03B40型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Maietti}等人，应用。类别。结构。13，第1号，1--36（2005；Zbl 1067.03067） 全文： 内政部
萨姆森·艾布拉姆斯基;鲍勃·科克 抽象物理痕迹。 （英语） Zbl 1065.18005号 理论应用。类别。 14, 111-124 (2005).理学硕士：18日第15天 18立方厘米 18A30型 18A40型 15A04号 15A90型 18B10型 18 C50 18天10分 81页第10页 81页68 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}和\textit{B.Coecke}，理论应用。类别。14、111--124（2005；Zbl 1065.18005） 全文： arXiv公司 欧洲DML EMIS公司
保罗·布莱恩·利维 具有堆栈的按调用值的伴随模型。 （英语） 兹比尔1068.18005 理论应用。类别。 14, 75-110 (2005). 审核人：Manuel Ojeda Aciego（马拉加） 理学硕士：18 C50 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.B.Levy}，理论应用。类别。14、75——110（2005年；Zbl 1068.18005） 全文： 欧洲DML EMIS公司
乔治·沃萨达基斯 范畴抽象代数逻辑：没有项的一阶逻辑的范畴代数化。 （英语） Zbl 1067.03070号 架构（architecture）。数学。逻辑 44，第4期，473-491（2005）. 审核人：彼得·约翰斯通（剑桥） 理学硕士：03G30型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{G.Voutsadakis}，拱门。数学。逻辑44，No.4，473--491（2005；Zbl 1067.03070） 全文： 内政部
罗伯特·戈德布拉特 对余代数行为共价性的共鸣解释。 （英语） Zbl 1070.08001号 数学。结构。计算。科学。 15，第2期，243-269（2005）. 审核人：Jesús Medina Moreno（马拉加） 理学硕士：08A70号 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛R.Goldblatt｝，数学。结构。计算。科学。15，第2号，243--269（2005；Zbl 1070.08001） 全文： 内政部
斯特凡·米利厄斯 完全迭代代数和完全迭代单子。 （英语） 兹比尔1062.68075 Inf.计算。 196，第1期，1-41页（2005年）.理学硕士：68问题55 18 C50 PDF格式BibTeX公司 XML格式引用 \textit｛S.Milius｝，信息计算。196，第1号，1--41（2005；Zbl 1062.68075） 全文： 内政部
本诺·范登·伯格 谓词拓扑的滑轮。 arXiv:数学/0507480 预印本，arXiv:math/0507480[math.LO]（2005）。理学硕士：03楼50 18甲15 03C90 03G30型 18 C50 18层20 BibTeX公司 引用 \textit{B.van den Berg}，“谓词拓扑的Sheeves”，预打印，arXiv:math/0507480[math.LO]（2005） 全文： arXiv公司