劳伦特·雷格尼尔 λ项之间的等价。(lambda-termes的不等效性。) (法语) Zbl 0801.03013号 西奥。计算。科学。 126,第2期,281-292(1994). 审核人:C.柏林(巴黎) MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Regnier},Theor(西奥)。计算。科学。126,第2号,281--292(1994;Zbl 0801.03013) 全文: 内政部
文森特·范·奥斯特罗姆 通过减少图表合并。 (英语) Zbl 0803.68058号 西奥。计算。科学。 126,第2期,259-280(1994).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{V.van Oostrom},Theor。计算。科学。126,第2号,259--280(1994;Zbl 0803.68058) 全文: 内政部
杰哈德,J.A。;马里奥·彼得里奇 自由分配格中的统一。 (英语) Zbl 0798.06012号 西奥。计算。科学。 126,第2期,237-257(1994).MSC公司:06B25号 99年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Gerhard}和\textit{M.Petrich},Theor。计算。科学。126,第2号,237--257(1994;Zbl 0798.06012) 全文: 内政部
拉杰夫·阿鲁尔;大卫·L·迪尔。 时间自动机理论。 (英语) Zbl 0803.68071号 西奥。计算。科学。 126,第2期,183-235(1994).MSC公司:65年第68季度 60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{D.L.Dill},Theor。计算。科学。126,第2号,183--235(1994;Zbl 0803.68071) 全文: 内政部
多龙·贝利德;阿米尔·普努利 证明部分顺序属性。 (英语) Zbl 0803.68070号 西奥。计算。科学。 126,第2143-182号(1994年).MSC公司:第68季度55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{A.Pnueli},Theor。计算。科学。126,第2号,143--182(1994;Zbl 0803.68070) 全文: 内政部