作　　者：Johannes Hölzl ;Tobias Nipkow

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;103:17-31.doi:10.4204/EPTCS.103.2

出 版 社：Open Publishing Association

文 章 ID：83120657

作　　者：Andrei Popescu ;Johannes Hölzl ;Tobias Nipkow

出　　处：Journal of Formalized Reasoning. 2013 ;6(1):1-30.doi:10.6092/issn.1972-5787/3690

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：100489226

作　　者：Peter Lammich ;Tobias Nipkow

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;141:1-18.doi:10.4230/LIPIcs.ITP.2019.23

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

文 章 ID：240116680

作　　者：Mohammad Abdulaziz ;Kurt Mehlhorn ;Tobias Nipkow

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-22.doi:10.4230/LIPIcs.MFCS.2019.1

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

文 章 ID：238891951

作　　者：Tobias Nipkow

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:4:1-4:2.doi:10.4230/LIPIcs.FSCD.2016.4

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

文 章 ID：186847436

作　　者：Maximilian P. L. Haslbeck ;Tobias Nipkow

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:49:1-49:15.doi:10.4230/LIPIcs.FSTTCS.2016.49

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

文 章 ID：186848169

作　　者：Julius Michaelis ;Tobias Nipkow

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;104:1-16.doi:10.4230/LIPIcs.TYPES.2017.5

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

文 章 ID：230438733

作　　者：Robin Essmann ;Tobias Nipkow ;Simon Robillard 等

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-21.doi:10.46298/lmcs-18(1:36)2022

出 版 社：Technical University of Braunschweig

文 章 ID：1038046937