伊戈尔·瓦卢基维奇(编辑) 特刊:2004年3月29日至4月2日,西班牙巴塞罗那,作为联邦ETAPS'04会议的一部分,软件科学和计算结构基础会议(FOSSACS'04)所选论文的完整版本。 (英语) Zbl 1080.68516号 西奥。通知。应用。 39,第3期,421-618(2005).MSC公司:68-06 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz}(编辑),Theor。通知。申请。39,第3号,421--618(2005;Zbl 1080.68516) 全文: 内政部
杰拉尔德·吕特根;沃尔特·福格勒 速度上的相互模拟:较低的时间界限。 (英语) Zbl 1077.68064号 西奥。通知。应用。 39,第3期,587-618(2005). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler},Theor。通知。申请。39,第3号,587--618(2005;Zbl 1077.68064) 全文: 内政部 Numdam编号 欧洲DML 链接
萨尔瓦多卢卡斯 终止证明中实域上的多项式:从理论到实践。 (英语) Zbl 1085.68076号 西奥。通知。应用。 39,第3期,547-586(2005).MSC公司:2012年第68季度 2005年12月 68瓦30 PDF格式BibTeX公司 XML格式引用 \文本{S.Lucas},Theor。通知。申请。39,第3号,547--586(2005;Zbl 1085.68076) 全文: 内政部 Numdam编号 欧洲DML 链接
莱克,斯蒂芬;巴布亚州索波辛斯基 粘合剂和准粘合剂类别。 (英语) 兹比尔1078.18010 西奥。通知。应用。 39,第3期,511-545(2005). 审核人:维奥雷尔·米海·冈蒂内克(伊阿什) MSC公司:18日99 18A30型 18A35型 2012年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.Lack}和\textit{P.Sobocinn ski},Theor。通知。申请。39,编号3511-545(2005年;Zbl 1078.18010) 全文: 内政部 Numdam编号 Numdam编号 欧洲DML
丹尼尔·克里斯滕 距离沙漠自动机和恒星高度问题。 (英语) 兹比尔1082.20041 西奥。通知。应用。 39,第3期,455-509(2005). 审核人:弗朗西娜·布兰切特·萨德里(格林斯博罗) MSC公司:20毫米35 2017年第68季度 70年第68季度 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \文本{D.Kirsten},Theor。通知。申请。39,第3号,455--509(2005;Zbl 1082.20041) 全文: 内政部 Numdam编号 欧洲DML 链接
安德烈·菲林斯基;Henning Korsholm,罗德 通过评估实现非类型化标准化的外延方面。 (英语) Zbl 1096.03010号 西奥。通知。应用。 39,第3期,423-453(2005).MSC公司:03B40型 06B35号 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Filinski}和\textit{H.K.Rohde},Theor。通知。申请。39,第3号,423--453(2005;Zbl 1096.03010) 全文: 内政部 Numdam编号 欧洲DML 链接