作　　者：Andreas Franke ;Stephan M. Hess ;Christoph Jung 等

出　　处：Journal of Universal Computer Science. 1999 ;5(3):156.doi:10.3217/jucs-005-03-0156

出 版 社：Graz University of Technology and Know-Center

文 章 ID：85267045

作　　者：Michael Kohlhase ;Florian Rabe

出　　处：Journal of Formalized Reasoning. 2016 ;9(1):201-234.doi:10.6092/issn.1972-5787/4570

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：184649926

作　　者：Andrea Kohlhase ;Michael Kohlhase

出　　处：Electronic Communications of the EASST. 2013 ;62.

出 版 社：European Association of Software Science and Technology (EASST)

文 章 ID：100465957

作　　者：Christoph E. Benzmueller ;Chad E. Brown ;Michael Kohlhase

出　　处：Logical Methods in Computer Science. 2009 ;5(01).doi:10.2168/LMCS-5(1:6)2009

出 版 社：Technical University of Braunschweig

文 章 ID：47109790

作　　者：Michael Kohlhase ;Florian Rabe ;Makarius Wenzel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;175:1-24.doi:10.4230/LIPIcs.TYPES.2019.1

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

文 章 ID：256859670

作　　者：Andreas Franke ;Stephan M. Hess ;Christoph Jung 等

出　　处：Journal of Universal Computer Science. 1999 ;5(3):156-187.

出 版 社：Graz University of Technology and Know-Center

文 章 ID：186875377

作　　者：Michael Kohlhase ;Jan Frederik Schaefer

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;307:24-39.doi:10.4204/EPTCS.307.4

出 版 社：Open Publishing Association

文 章 ID：1034960466