作　　者：Harald Zankl ;Nao Hirokawa ;Aart Middeldorp

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;49:46-57.doi:10.4204/EPTCS.49.4

出 版 社：Open Publishing Association

文 章 ID：83120129

作　　者：Takahito Aoto ;Makoto Hamana ;Nao Hirokawa 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:32:1-32:5.doi:10.4230/LIPIcs.FSCD.2018.32

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：220014790

作　　者：Harald Zankl ;Martin Korp

出　　处：Logical Methods in Computer Science. 2014 ;10(1):1.doi:10.2168/LMCS-10(1:19)2014

出 版 社：Technical University of Braunschweig

文 章 ID：264692220

作　　者：Harald Zankl ;Martin Korp

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:385-400.doi:10.4230/LIPIcs.RTA.2010.385

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186845711

作　　者：Bertram Felgenhauer ;Harald Zankl ;Aart Middeldorp

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:288-299.doi:10.4230/LIPIcs.FSTTCS.2011.288

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186845886

作　　者：Harald Zankl ;Bertram Felgenhauer ;Aart Middeldorp

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;10:377-392.doi:10.4230/LIPIcs.RTA.2011.377

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186845932

作　　者：Sarah Winkler ;Harald Zankl ;Aart Middeldorp

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;21:335-351.doi:10.4230/LIPIcs.RTA.2013.335

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846321

作　　者：Harald Zankl

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;21:352-367.doi:10.4230/LIPIcs.RTA.2013.352

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846322

作　　者：Julian Nagele ;Harald Zankl

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;36:269-284.doi:10.4230/LIPIcs.RTA.2015.269

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846894