米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 过程的基本观察结果。 (英语) Zbl 0928.68013号 Inf.计算。 149,第1期,77-98(1999).MSC公司:68号01 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}等人,《信息计算》。149,第1号,77--98(1999;Zbl 0928.68013) 全文: 内政部
吉尔·巴特 有序感应类型。 (英语) 兹比尔0928.68022 Inf.计算。 149,第1期,42-76(1999).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe},Inf.计算。149,编号1,42--76(1999;Zbl 0928.68022) 全文: 内政部 链接
雷米·吉伦;苏菲·蒂森;马克·托马西 设置约束和自动机。 (英语) Zbl 0928.68065号 Inf.计算。 149,第1期,1-41页(1999年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gilleron}等人,《信息计算》。149,第1号,1--41(1999;Zbl 0928.68065) 全文: 内政部 链接