作　　者：Anuj Dawar ;Erich Gr{"a}del ;Wied Pakusa

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-14.doi:10.4230/LIPIcs.ICALP.2019.112

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

文 章 ID：238892247

作　　者：Grädel, Erich ;Benedikt Pago ;Wied Pakusa

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:27:1-27:18.doi:10.4230/LIPIcs.CSL.2017.27

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

文 章 ID：200735093

作　　者：Anuj Dawar ;Eryk Kopczynski ;Bjarki Holm 等

出　　处：Logical Methods in Computer Science. 2013 ;9(4):1.doi:10.2168/LMCS-9(4:12)2013

出 版 社：Technical University of Braunschweig

文 章 ID：264692196

作　　者：Anuj Dawar ;Erich Gr{\"a}del ;Bjarki Holm 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:213-227.doi:10.4230/LIPIcs.CSL.2012.213

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

文 章 ID：186846161

作　　者：Erich Gr{\"a}del ;Wied Pakusa

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:390-404.doi:10.4230/LIPIcs.CSL.2015.390

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

文 章 ID：186847059

作　　者：Wied Pakusa ;Svenja Schalth{\"o}fer ;Erkal Selman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:19:1-19:17.doi:10.4230/LIPIcs.CSL.2016.19

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

文 章 ID：186847936