作　　者：Streicher, Thomas ;Pape, Martin ;Neumann, Eike

出　　处：Logical Methods in Computer Science. 2018 ;14(2).doi:10.23638/LMCS-14(2:14)2018

出 版 社：Technical University of Braunschweig

文 章 ID：1021277432

作　　者：Neumann, Eike ;Ouaknine, Joël ;Worrell, James

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;198.doi:10.4230/LIPIcs.ICALP.2021.99

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

文 章 ID：1037088386

作　　者：D'Costa, Julian ;Lefaucheux, Engel ;Neumann, Eike 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;202.doi:10.4230/LIPIcs.MFCS.2021.33

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

文 章 ID：1037088645