Furio Honsell(编辑);马里诺·米库兰(编辑) 专题论文:2001年4月2日至4日在意大利热那亚举行的第四届软件科学和计算结构国际会议基金会(FOSSACS 2001)上发表的论文选集。 (英语) 兹比尔1017.00038 西奥。计算。科学。 298,第3期,385-628(2003).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{F.Honsell}(编辑)和\textit{M.Miculan}(主编),Theor。计算。科学。298,第3号,385--628(2003;Zbl 1017.00038) 全文: 内政部
格温·克莱恩;托比亚斯·尼普科 经过验证的字节码验证器。 (英语) Zbl 1038.68109号 西奥。计算。科学。 298,第3期,583-626(2003).MSC公司:第68页第15页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Klein}和\textit{T.Nipkow},Theor。计算。科学。298,第3号,583--626(2003;Zbl 1038.68109) 全文: 内政部
克里斯蒂亚诺·卡尔加诺;彼得·奥赫恩;理查德·博纳特 存在垃圾收集时的程序逻辑和等效性。 (英语) Zbl 1038.68011号 西奥。计算。科学。 298,第3期,557-581(2003).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人,Theor。计算。科学。298,第3号,557--581(2003;Zbl 1038.68011) 全文: 内政部
纳迪亚·布西;吉安路易吉·扎瓦塔罗 共享数据空间中的过期数据收集。 (英语) 兹比尔1038.68037 西奥。计算。科学。 298,第3期,529-556(2003).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi}和\textit{G.Zavataro},Theor。计算。科学。298,第3号,529--556(2003;Zbl 1038.68037) 全文: 内政部
Mikołaj博扬奇克 双向交替自动机的有限图问题。 (英语) Zbl 1052.68069号 西奥。计算。科学。 298,第3期,511-528(2003).MSC公司:65年第68季度 05年3月 03B25号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojan nchyk},Theor(西奥)。计算。科学。298,编号3511-528(2003年;兹bl 1052.68069) 全文: 内政部
米歇尔·比多瓦;罗尔夫·亨尼克;亚历山大·库尔兹 观察逻辑、基于构造函数的逻辑及其对偶性。 (英语) Zbl 1038.68079号 西奥。计算。科学。 298,第3期,471-510(2003).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}等人,Theor。计算。科学。298,第3号,471--510(2003;Zbl 1038.68079) 全文: 内政部
卢卡·埃特罗;佐尔坦·埃西克;Anna Ingólfsdóttir 热带半环的等式理论。 (英语) Zbl 1021.08002号 西奥。计算。科学。 298,第3期,417-469(2003).MSC公司:08A70号 2016年60月 第68季度第70季度 03C05号机组 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。298,第3号,417--469(2003;Zbl 1021.08002) 全文: 内政部
马丁·阿巴迪;布鲁诺·布兰切特 非对称通信的保密类型。 (英语) Zbl 1038.68081号 西奥。计算。科学。 298,第3期,387-415(2003).MSC公司:68问题85 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{B.Blanchet},Theor。计算。科学。298,第3号,387--415(2003;Zbl 1038.68081) 全文: 内政部