普雷斯伯格自动机

此软件的关键字
zbMATH中的参考文献, 1标准件 )
Peter Lammich;Lochbihler,Andreas:《高效数据结构的自动优化:两种方法的比较》(2019年) Doczkal,Christian;Smolka,Gert:Coq结构类型理论中的规则语言表征(2018) Doczkal,Christian;Smolka,Gert:Coq中的双向自动机(2016) Traytel,Dmitriy;Nipkow,Tobias:MSO基于正则表达式导数的单词验证决策程序(2015) 吴春汉;张兴元;城市,克里斯蒂安:基于正则表达式的Myhill-Nerode定理的形式化(2014) Gammie,Peter:有限同步环境中基于知识的程序的验证合成(2011) 吴春汉;张兴元;城市,克里斯蒂安:基于正则表达式的Myhill-Nerode定理的形式化(proof-pearl)(2011) Krauss,Alexander:高阶逻辑中的部分和嵌套递归函数定义(2010) Berghofer,Stefan;Reiter,Markus:形式化逻辑自动机连接(2009)