作　　者：Clemens Kupke ;Yde Venema

出　　处：Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:10)2008

出 版 社：Technical University of Braunschweig

文 章 ID：47109814

作　　者：Vincenzo Ciancia ;Yde Venema

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;139:1-18.doi:10.4230/LIPIcs.CALCO.2019.5

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

文 章 ID：241520002

作　　者：Nick Bezhanishvili ;Jim de Groot ;Yde Venema

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;139:1-18.doi:10.4230/LIPIcs.CALCO.2019.7

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

文 章 ID：241520004

作　　者：Sebastian Enqvist ;Yde Venema

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:11:1-11:16.doi:10.4230/LIPIcs.CALCO.2017.11

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

文 章 ID：205510181

作　　者：Clemens Kupke ;Alexander Kurz ;Yde Venema

出　　处：Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:2)2012

出 版 社：Technical University of Braunschweig

文 章 ID：264691958

作　　者：Johannes Marti ;Fatemeh Seifan ;Yde Venema

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;35:238-252.doi:10.4230/LIPIcs.CALCO.2015.238

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

文 章 ID：186847105

作　　者：Sebastian Enqvist ;Fatemeh Seifan ;Yde Venema

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

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

文 章 ID：186847924