彼得·兰米奇;安德烈亚斯·洛赫比勒 自动细化到有效的数据结构：两种方法的比较。 （英语） Zbl 1459.68228号 J.汽车。推理 63，第1号，53-94（2019）.MSC公司：68伏15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Lammich}和\textit{A.Lochbihler}，J.Autom。推理63，No.1，53--94（2019；Zbl 1459.68228） 全文： 内政部
克里斯蒂安·多兹卡尔;格特·斯莫尔卡 Coq构造型理论中的正则语言表示。 （英语） Zbl 1451.68146号 J.汽车。推理 61，编号1-4，521-553（2018）.MSC公司：65年第68季度 03B25号 03B35型 05年3月 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Doczkal}和\textit{G.Smolka}，J.Autom。推理61，No.1--4，521--553（2018；Zbl 1451.68146） 全文： 内政部 哈尔
克里斯蒂安·多兹卡尔;格特·斯莫尔卡 Coq中的双向自动机。 （英语） Zbl 1478.68122号 Blanchette，Jasmin Christian（编辑）等，交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9807, 151-166 (2016).MSC公司：65年第68季度 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Doczkal}和\textit{G.Smolka}，莱克特。注释计算。科学。9807151--166（2016；Zbl 1478.68122） 全文： 内政部
德米特里·特拉泰尔;托比亚斯·尼普科 验证了基于正则表达式导数的单词的MSO决策过程。 （英语） Zbl 1420.68049号 J.功能。程序。 25，论文编号e18，30 p.（2015）.MSC公司：68甲18 03B25号 65年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Traytel}和\textit{T.Nipkow}，J.Funct。程序。25，论文编号e18，第30页（2015年；兹bl 1420.68049） 全文： 内政部
吴春汉;张兴元;城市，基督教 基于正则表达式的Myhill-Nerode定理的形式化。 （英语） Zbl 1314.68179号 J.汽车。推理 52，第4期，451-480（2014）.MSC公司：65年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Wu}等人，J.Autom。推理52，No.4，451--480（2014；Zbl 1314.68179） 全文： 内政部
吴春汉;张兴元;城市，基督教 基于正则表达式的Myhill-Nerode定理的形式化（proof pearl）。 （英语） Zbl 1342.68306号 Van Eekelen，Marko（编辑）等，交互式定理证明。2011年8月22日至25日，荷兰卑尔根达尔，第二届国际会议，ITP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22862-9/pbk）。计算机科学课堂讲稿6898，341-356（2011）。MSC公司：第68页第15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Wu}等人，Lect。注释计算。科学。6898、341--356（2011；Zbl 1342.68306） 全文： 内政部
彼得·甘米 验证了有限同步环境中基于知识的程序的合成。 （英语） Zbl 1342.68284号 Van Eekelen，Marko（编辑）等，交互式定理证明。2011年8月22日至25日，荷兰卑尔根达尔，第二届国际会议，ITP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22862-9/pbk）。计算机科学课堂讲稿6898，87-102（2011）。MSC公司：第68页第15页 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.Gammie}，莱克特。注释计算。科学。6898，87-102（2011；Zbl 1342.68284） 全文： 内政部
亚历山大·克劳斯 高阶逻辑中的部分和嵌套递归函数定义。 （英语） Zbl 1214.68335号 J.汽车。推理 44，第4期，303-336（2010）.MSC公司：第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.克劳斯}，J.Autom。推理44，No.4，303--336（2010；Zbl 1214.68335） 全文： 内政部