维科里亚·赞科 \({}P\)-通过多个约简实现的完整性。 (英语) Zbl 0739.68036号 发现的国际期刊。计算。科学。 2,第1号,77-82(1991)。MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Zankó},国际法院发现。计算。科学。2,编号1,77--82(1991;Zbl 0739.68036) 全文: 内政部
蔡金毅;梅里克·福斯特 PSPACE克服了恒定宽度的瓶颈。 (英语) Zbl 0742.68022号 发现的国际期刊。计算。科学。 2,第1期,67-76(1991)。MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Cai}和\textit{M.Furst},Int.J.Found。计算。科学。2,编号1,67-76(1991年;Zbl 0742.68022) 全文: 内政部
J.A.伯格斯特拉。;茅,S。;F.维迪杰克。 等式有限集的一致代数规范。 (英语) Zbl 0739.68066号 发现的国际期刊。计算。科学。 2,第1号,43-65(1991)。MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人,国际法学研究所。计算。科学。2,编号1,43-65(1991;Zbl 0739.68066) 全文: 内政部
托马斯·威尔姆斯 被视为语法的功能性生成系统。 (英语) Zbl 0739.68057号 发现的国际期刊。计算。科学。 第2期,第1期,23-41页(1991年)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Wilmes},国际法院发现。计算。科学。2,编号1,23--41(1991;Zbl 0739.68057) 全文: 内政部
马丁·阿巴迪;本杰明·皮尔斯;戈登·普洛金 递归多态类型的忠实理想模型。 (英语) Zbl 0741.68026号 发现的国际期刊。计算。科学。 2,第1期,1-21页(1991年)。MSC公司:第68页第15页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人,《国际法学杂志》发现。计算。科学。2,编号1,1--21(1991;Zbl 0741.68026) 全文: 内政部