尤尼特·凯斯滕;阿米尔·普努利;莫舍·瓦尔迪。 通过增强抽象进行验证:自动机理论视图。 (英语) Zbl 0983.68109号 J.计算。系统。科学。 62,第4期,668-690(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《计算杂志》。系统。科学。62,第4号,668--690(2001;Zbl 0983.68109) 全文: 内政部
马库斯·赫特 所罗门诺夫预测的新误差界。 (英语) Zbl 0983.68083号 J.计算。系统。科学。 62,第4期,653-667(2001).MSC公司:第68季度30 PDF格式BibTeX公司 XML格式引用 \textit{M.Hutter},J.计算。系统。科学。62,第4号,653--667(2001;Zbl 0983.68083) 全文: 内政部 arXiv公司
克莱门斯·劳特曼;皮埃尔·麦肯齐;托马斯·施温蒂克;赫里贝特·沃尔默 LOGCFL的描述性复杂性方法。 (英语) Zbl 0983.68108号 J.计算。系统。科学。 62,第4期,629-652(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Lautemann}等人,J.Compute。系统。科学。62,第4号,629--652(2001;Zbl 0983.68108) 全文: 内政部
金昌旭 分离顶点NLC和NCE图语言的分离结果。 (英语) Zbl 0983.68107号 J.计算。系统。科学。 62,第4期,608-628(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Kim},J.计算。系统。科学。62,编号4608-628(2001年;Zbl 0983.68107) 全文: 内政部
尤纳坦·奥曼;约翰·Hástad;迈克尔·奥·拉宾。;苏丹,马杜 线性一致性测试。 (英语) Zbl 1052.68122号 J.计算。系统。科学。 62,第4期,589-607(2001).MSC公司:68吨15 68号01 PDF格式BibTeX公司 XML格式引用 \textit{Y.Aumann}等人,《计算杂志》。系统。科学。62,第4号,589--607(2001;Zbl 1052.68122) 全文: 内政部
朱拉吉·赫罗姆科维奇;塞巴斯蒂安·塞伯特;托马斯·威尔克 将正则表达式转换为无小(ε)的非确定性有限自动机。 (英语) Zbl 1014.68093号 J.计算。系统。科学。 62,第4期,565-588(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hromkovič}等人,《计算杂志》。系统。科学。62,第4号,565--588(2001;Zbl 1014.68093) 全文: 内政部 链接
石原雅素;寿果清水;弘久世奇(Hiroyuki Seki);伊藤、Minoru 复杂度的细化导致了面向对象数据库的类型一致性。 (英语) Zbl 0983.68061号 J.计算。系统。科学。 62,第4期,537-564(2001).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ishihara}等人,《计算杂志》。系统。科学。62,编号4,537–564(2001年;Zbl 0983.68061) 全文: 内政部 链接