当、哲;圣彼得罗,皮耶路易吉;理查德·凯默勒(Richard A.Kemmer)。 离散时间自动机的Presburger活性验证。 (英语) Zbl 1040.68050号 西奥。计算。科学。 299,编号1-3,413-438(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}等人,Theor。计算。科学。299,编号1--3,413--438(2003;Zbl 1040.68050) 全文: 内政部
当、哲;圣彼得罗,皮耶路易吉;理查德·凯默勒(Richard A.Kemmer)。 离散时间自动机的Presburger活性。 (英语) Zbl 0981.68715号 Ferreira,Afonso(编辑)等人,STACS 2001。第18届计算机科学理论方面年度研讨会。2001年2月15日至17日,德国德累斯顿。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2010, 132-143 (2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}等人,Lect。注释计算。科学。2010年,132-143(2001年;Zbl 0981.68715)