哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯 刚性可达性,刚性E-统一的非对称形式。 (英语) 兹比尔1319.68127 发现的国际期刊。计算。科学。 11,第1期,3-27(2000).MSC公司:2012年第68季度 03B25号 05年3月 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Ganzinger}等人,国际发现杂志。计算。科学。11,第1号,第3--27号(2000年;Zbl 1319.68127) 全文: DOI程序
Levy,乔迪;玛格斯·维纳斯 关于二阶统一的不可判定性。 (英语) Zbl 1005.03007号 Inf.计算。 159,编号1-2,125-150(2000).MSC公司:03B35型 03天35分 2012年第68季度 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}和\textit{M.Veanes},Inf.Compute。159,编号1--2,125-150(2000;Zbl 1005.03007) 全文: DOI程序
玛格斯·维纳斯 重新审视了法默定理。 (英语) Zbl 1014.68075号 信息处理。莱特。 74,编号1-2,47-53(2000).MSC公司:2012年第68季度 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{M.Veanes},Inf.过程。莱特。74,编号1--2,47-53(2000;Zbl 1014.68075) 全文: DOI程序