托马斯·威尔克 前沿可测试树语言的代数特征。 (英语) Zbl 0871.68110号 西奥。计算。科学。 154,第1期,85-106(1996).MSC公司:第68季度第70季度 65年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \文本{T.Wilke},Theor。计算。科学。154,编号1,85--106(1996;Zbl 0871.68110) 全文: 内政部
沃纳·埃宾格;安卡·穆斯科尔 无限记录道上的逻辑可定义性。 (英语) Zbl 0871.68111号 西奥。计算。科学。 154,第1期,67-84(1996).MSC公司:65年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Ebinger}和\textit{A.Muscholl},Theor。计算。科学。154,编号1,67--84(1996;Zbl 0871.68111) 全文: 内政部
大卫·M·科恩。;迈克尔·弗雷德曼。 全覆盖有限状态机的产品。 (英语) Zbl 0871.68112号 西奥。计算。科学。 154,第1期,第57-65页(1996年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Cohen}和\textit{M.L.Fredman},Theor。计算。科学。154,编号1,57--65(1996;Zbl 0871.68112) 全文: 内政部
Jerzy W.Jaromczyk。;Świątek,Grzegorz公司 偶泛函理论及其算法应用。 (英语) Zbl 0871.68084号 西奥。计算。科学。 154,第1期,41-56(1996).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Jaromczyk}和\textit{G.Świątek},Theor。计算。科学。154,编号1,41-56(1996;Zbl 0871.68084) 全文: 内政部
阿图尔·祖马;艾伦·吉本斯 Guthrie的问题:新的等价物和快速减少。 (英语) 兹伯利0871.68134 西奥。计算。科学。 154,第1期,3-22页(1996年).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Czumaj}和\textit{A.Gibbons},Theor。计算。科学。154,第1号,第3--22号(1996年;Zbl 0871.68134) 全文: 内政部
拉利塔·贾特冈卡尔;阿尔伯特·R·迈耶。 在安全的有限网络上确定真正的并发等价。 (英语) Zbl 0877.68056号 西奥。计算。科学。 154,第1期,第107-143页(1996年).MSC公司:2015年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Jategaonkar}和\textit{A.R.Meyer},Theor。计算。科学。154,编号1,107--143(1996;Zbl 0877.68056) 全文: 内政部
马雷克·卡宾斯基;罗格·韦贝克 随机与确定性计算。 (英语) Zbl 0877.68053号 西奥。计算。科学。 154,第1期,23-39(1996).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Karpinski}和\textit{R.Verbeek},Theor。计算。科学。154,编号1,23--39(1996;Zbl 0877.68053) 全文: 内政部
安德烈·林加(编辑) 自动化、语言和编程。第20届国际学术讨论会,瑞典隆德大学,1993年7月。 (英语) Zbl 0878.00088号 西奥。计算。科学。154,第1期,396页(1996年)。 MSC公司:00B25型 68-06 65年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式