韦斯利·卡尔弗特;肯·克莱默;罗素·米勒 Blum-Shub-Smale模型中的不可计算函数。 (英语) Zbl 1218.03030号 日志。计算方法。科学。 7,第2号,第15号论文,20页(2011年).MSC公司:03D78号 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{W.Calvert}等人,日志。计算方法。科学。7,第2号,第15号论文,20页(2011;Zbl 1218.03030) 全文: 内政部 arXiv公司
马克·比克福德;罗伯特·康斯特布尔;约瑟夫·哈尔珀;萨宾娜·彼得里德 使用事件结构的分布式系统的基于知识的综合。 (英语) Zbl 1213.68202号 日志。计算方法。科学。 7,第2号,第14号文件,第36页(2011年).MSC公司:68号30 03B42号 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}等人,日志。计算方法。科学。7,第2号,第14号论文,36页(2011年;Zbl 1213.68202) 全文: 内政部
米歇尔·巴萨尔德拉;克劳迪娅·法根 重复Ludics(指数、交互类型和完整性)。 (英语) Zbl 1218.03025号 日志。计算方法。科学。 7,第2号,第13号论文,85页(2011年).MSC公司:03B70号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{M.Basadella}和\textit{C.Faggian},日志。计算方法。科学。7,第2号,第13号论文,85页(2011;Zbl 1218.03025) 全文: 内政部
奥拉夫·拜尔斯多夫;阿恩·迈尔;马丁·蒙德亨克;托马斯·施耐德;托马斯,迈克尔;赫里贝特·沃尔默 模型检查CTL几乎总是固有的顺序性。 (英语) Zbl 1220.68068号 日志。计算方法。科学。 7,第2号,第12号论文,21页(2011年). 审核人:克里斯特尔·拜尔(德累斯顿) MSC公司:60年第68季度 2017年第68季度 65年第68季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人,《日志》。计算方法。科学。7,第2号,第12号论文,21页(2011;Zbl 1220.68068) 全文: 内政部
达格·诺曼 Banach空格作为数据类型。 (英语) Zbl 1232.03030号 日志。计算方法。科学。 7,第2号,第11号论文,20页(2011年).MSC公司:03D65年 PDF格式BibTeX公司 XML格式引用 \textit{D.Normann},日志。计算方法。科学。7,第2号,第11号论文,20页(2011;Zbl 1232.03030) 全文: 内政部 arXiv公司
乔治·梅特卡夫;尼古拉·奥利维蒂 走向哥德尔模态逻辑的证明理论。 (英语) Zbl 1266.03044号 日志。计算方法。科学。 7,第2号,第10号论文,27页(2011年).MSC公司:03B52号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Metcalfe}和\textit{N.Olivetti},日志。计算方法。科学。7,第2号,第10号论文,27页(2011;Zbl 1266.03044) 全文: 内政部 arXiv公司
尼克·贝扎尼什维利;麦哲尔克 通过Birkhoff对偶和余代数有限生成自由Heyting代数。 (英语) Zbl 1229.06003号 日志。计算方法。科学。 7,第2号,第9号论文,24页(2011年). 审核人:弗洛伦蒂娜·奇尔特什(克雷奥瓦) MSC公司:06D20日 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}和\textit{M.Gehrke},日志。计算方法。科学。7,第2号,第9号论文,24页(2011;Zbl 1229.06003) 全文: 内政部 arXiv公司
拉杰夫·戈尔;琳达·波斯尼埃斯;Tiu,Alwen F。 时态逻辑嵌套序列计算中显示假设与深层推理的对应。 (英语) Zbl 1218.03020号 日志。计算方法。科学。 7,第2号,第8号论文,38页(2011年).MSC公司:03B44号 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Goré}等人,日志。计算方法。科学。7,第2号,第8号文件,第38页(2011年;Zbl 1218.03020) 全文: 内政部
菲利波·邦奇;乌戈·蒙塔纳里 通过规范化余代数实现符号和异步语义。 (英语) Zbl 1213.68400号 日志。计算方法。科学。 7,第2号,第7号论文,53页(2011年).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}和\textit{U.Montanari},Log。计算方法。科学。7,第2号,第7号论文,53页(2011;Zbl 1213.68400) 全文: 内政部
雷娜特·施密特(Renate A.Schmidt)。;蒂什科夫斯基,德米特里 表结石的自动合成。 (英语) Zbl 1218.03012号 日志。计算方法。科学。 7,第2号,第6号论文,32页(2011年).MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Schmidt}和\textit{D.Tishkovsky},Log。计算方法。科学。7,第2号,第6号论文,32页(2011;Zbl 1218.03012) 全文: 内政部
亚历克西斯·贝丝;亚历山大·拉比诺维奇 标记线性序的可判定展开式。 (英语) Zbl 1213.03017号 日志。计算方法。科学。 7,第2号,第5号论文,18页(2011年).MSC公司:03B25号 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{A.Bès}和\textit{A.Rabinovich},Log。计算方法。科学。7,第2号,第5号论文,18页(2011;Zbl 1213.03017) 全文: 内政部 arXiv公司
安德烈亚斯·亚贝尔;可口、蒂埃里;米盖尔·帕加诺 一种用于具有单子类型和证明无关性的类型理论的模块化类型选择算法。 (英语) Zbl 1213.68199号 日志。计算方法。科学。 7,第2号,第4号文件,第57页(2011年).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}等人,《日志》。计算方法。科学。7,第2号,第4号论文,57页(2011;Zbl 1213.68199) 全文: 内政部
迪米特里奥斯·瓦杜拉基斯;希弗斯,奥林 CFA2:控制流分析的无上下文方法。 (英语) Zbl 1213.68211号 日志。计算方法。科学。 7,第2号,第3号论文,39页(2011年).MSC公司:68号30 68甲15 68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Vardoulakis}和\textit{O.Shivers},日志。计算方法。科学。7,第2号,第3号论文,39页(2011;Zbl 1213.68211) 全文: 内政部
亚历山大·米克尔 经典可实现性中的存在见证提取以及通过否定翻译。 (英语) Zbl 1218.03016号 日志。计算方法。科学。 7,第2期,第2号论文,47页(2011年).MSC公司:03B40型 35楼03号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Miquel},日志。计算方法。科学。7,第2期,第2号论文,47页(2011;Zbl 1218.03016) 全文: 内政部
乔治·贾帕里泽 从公式到可计算逻辑中的电路。 (英语) Zbl 1218.03026号 日志。计算方法。科学。 7,第2号,第1号论文,55页(2011年).MSC公司:03B70号 03B47号 03B60号 2005年第68季度 2010年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},日志。计算方法。科学。7,第2号,第1号论文,55页(2011;Zbl 1218.03026) 全文: 内政部 arXiv公司