马丁·霍夫曼;陈伟 Büchi自动机的抽象解释。 (英语) Zbl 1401.68162号 2014年7月14日至18日,奥地利维也纳,2014年第二十三届EACSL计算机科学逻辑年会和2014年第29届ACM/IEEE计算机科学逻辑年会联席会议记录。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4503-2886-9)。第51号论文,第10页(2014年)。MSC公司:第68季度第45季度 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) 全文: 内政部 链接
马丁·埃斯卡多;马丁·霍夫曼;托马斯·斯特里彻 实数计算的区间模型的非连续性。 (英语) Zbl 1067.68070号 数学。结构。计算。科学。 14,第6期,803-814(2004).MSC公司:2005年第68季度 68问题55 03D65年 68甲18 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{M.Escardó}等人,《数学》。结构。计算。科学。14,第6号,803--814(2004;Zbl 1067.68070) 全文: 内政部
马丁·霍夫曼 具有更高类型和BCK-代数的安全递归。 (英语) Zbl 0959.68075号 Ann.纯粹应用。逻辑 104,编号1-3,113-166(2000).MSC公司:68问题55 2015年3月1日 03D65年 68甲18 35楼06号 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼},安。纯应用。逻辑104,No.1--3113--166(2000;Zbl 0959.68075) 全文: 内政部