作　　者：Helmut Veith

出　　处：Electronic Colloquium on Computational Complexity. 1995 ;1995.

出 版 社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文 章 ID：73953789

作　　者：Shachar Itzhaky ;Tomer Kotek ;Noam Rinetzky 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;68:16:1-16:18.doi:10.4230/LIPIcs.ICDT.2017.16

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

文 章 ID：191698404

作　　者：Andreas Holzer ;Christian Schallhart ;Michael Tautschnig 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:377-388.doi:10.4230/LIPIcs.FSTTCS.2013.377

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

文 章 ID：186846422

作　　者：Thomas Pani ;Helmut Veith ;Florian Zuleger

出　　处：Electronic Communications of the EASST. 2015 ;72.doi:10.14279/tuj.eceasst.72.1014

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

文 章 ID：185430509

作　　者：Tomer Kotek ;Helmut Veith ;Florian Zuleger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:13:1-13:20.doi:10.4230/LIPIcs.CSL.2016.13

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

文 章 ID：186847930

作　　者：Andreas Haas ;Thomas A. Henzinger ;Andreas Holzer 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:6:1-6:15.doi:10.4230/LIPIcs.CONCUR.2016.6

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

文 章 ID：186847565

作　　者：Igor Konnov ;Tomer Kotek ;Qiang Wang 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:30:1-30:16.doi:10.4230/LIPIcs.CONCUR.2016.30

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

文 章 ID：186847588