马丁·霍夫曼;陈伟 Büchi自动机的抽象解释。 （英语） Zbl 1401.68162号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第51号论文，第10页（2014年）。 引用于5文件 MSC公司： 65年第68季度 形式语言和自动机 2015年1月6日 伽罗瓦对应、闭包算子（与有序集有关） 05年6月 格的结构理论 68号30 软件工程的数学方面（规范、验证、度量、需求等） 第68季度第65季度 抽象数据类型；代数规范 关键词：活泼;时间特性;类型系统;类型和效果系统 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}和\textit{W.Chen}，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第51号论文，第10页（2014；Zbl 1401.68162） 全文： 内政部 链接