德米特里·特拉泰尔;托比亚斯·尼普科 验证了基于正则表达式导数的单词的MSO决策过程。 (英语) Zbl 1420.68049号 J.功能。程序。 25,论文编号e18,30 p.(2015).MSC公司:68甲18 03年2月25日 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Traytel}和\textit{T.Nipkow},J.Funct。程序。25,论文编号e18,30 p.(2015;Zbl 1420.68049) 全文: 内政部
萨姆·奥雷;Natarajan Shankar PVS的简要概述。 (英语) Zbl 1165.68468号 Mohamed,Otmane Ait(编辑)等,《高阶逻辑中的定理证明》。2008年8月18日至21日在加拿大蒙特利尔举行的2008年第21届TPHOL国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71065-3/pbk)。计算机科学课堂讲稿517022-27(2008)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Owre}和\textit{N.Shankar},莱克特。注释计算。科学。5170、22-27(2008年;Zbl 1165.68468) 全文: 内政部