布鲁诺·库塞尔;艾琳·杜兰德 超越一元二阶逻辑的飞行自动机计算。 (英语) 兹比尔1335.68116 西奥。计算。科学。 619, 32-67 (2016).MSC公司:65年第68季度 05年3月 05立方厘米85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{I.Durand},Theor。计算。科学。619、32-67(2016年;Zbl 1335.68116) 全文: 内政部 arXiv公司
布鲁诺·库塞尔;艾琳·杜兰德 用于验证一元二阶图属性的自动机。 (英语) Zbl 1285.03049号 J.应用。日志。 10,第4期,368-409(2012).MSC公司:05年3月 03B25号 65年第68季度 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{I.Durand},J.Appl。日志。10,第4号,368--409(2012;Zbl 1285.03049) 全文: 内政部