马丁·斯特雷克 图形转换的交互式和自动化证明。 (英文) Zbl 1398.68286号 数学。结构。计算。科学。 28,第8期,1333-1362(2018).MSC公司:2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Strecker},数学。结构。计算。科学。28,第8号,1333--1362(2018;Zbl 1398.68286) 全文: 内政部
达科斯塔·卡瓦莱罗,西蒙·安德烈;卢西亚娜·福斯;莱拉·里贝罗 具有属性和负应用条件的定理证明图文法。 (英文) Zbl 1371.68139号 理论。计算。科学。 686, 25-77 (2017).MSC公司:2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.A.da Costa Cavalheiro}等人,Theor。计算。科学。686、25--77(2017年;Zbl 1371.68139) 全文: 内政部
达科斯塔,西蒙·安德烈;莱拉·里贝罗 使用逻辑方法验证图语法。 (英文) Zbl 1243.68211号 科学。计算。程序。 77,第4期,480-504(2012).MSC公司:60年第68季度 2012年第68季度 68号30 68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.da Costa}和\textit{L.Ribeiro},科学。计算。程序。77,第4号,480--504(2012;Zbl 1243.68211) 全文: 内政部
莱拉·里贝罗;多斯桑托斯(Dos Santos,Osmar Marchi);费尔南多·路易斯·多蒂;卢西亚娜·福斯 正确的转换:从基于对象的图形语法到PROMELA。 (英文) Zbl 1243.68155号 科学。计算。程序。 77,第3期,214-246(2012).MSC公司:68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Ribeiro}等人,科学。计算。程序。77,第3号,214--246(2012;Zbl 1243.68155) 全文: 内政部