作 者:Samuel Balco ;Alexander Kurz
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;139:1-20.doi:10.4230/LIPIcs.CALCO.2019.18
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:241520015
作 者:Fredrik Dahlqvist ;Alexander Kurz
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:9:1-9:15.doi:10.4230/LIPIcs.CALCO.2017.9
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:205510177
作 者: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
作 者:Alexander Kurz ;Jiri Rosicky
出 处:Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:14)2012
出 版 社:Technical University of Braunschweig
文 章 ID:264691972
作 者:Marcello Bonsangue ;Helle Hansen ;Alexander Kurz 等
出 处:Logical Methods in Computer Science. 2015 ;11(3):1.doi:10.2168/LMCS-11(3:2)2015
出 版 社:Technical University of Braunschweig
文 章 ID:264692068
作 者:Adriana Balan ;Alexander Kurz ;Jiří Velebil
出 处:Logical Methods in Computer Science. 2015 ;11(3):1.doi:10.2168/LMCS-11(3:18)2015
出 版 社:Technical University of Braunschweig
文 章 ID:264692081
作 者:Alexander Kurz ;Daniela Petrisan ;Paula Severi 等
出 处:Logical Methods in Computer Science. 2013 ;9(4):1.doi:10.2168/LMCS-9(4:20)2013
出 版 社:Technical University of Braunschweig
文 章 ID:264692190
作 者:Marta Bilkova ;Alexander Kurz ;Daniela Petrisan 等
出 处:Logical Methods in Computer Science. 2013 ;9(4):1.doi:10.2168/LMCS-9(4:8)2013
出 版 社:Technical University of Braunschweig
文 章 ID:264692195
作 者:Alexander Kurz ;Alessandra Palmigiano
出 处:Logical Methods in Computer Science. 2013 ;9(4):1.doi:10.2168/LMCS-9(4:17)2013
出 版 社:Technical University of Braunschweig
文 章 ID:264692198
作 者:Adriana Balan ;Alexander Kurz ;Jiri Velebil
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;35:17-34.doi:10.4230/LIPIcs.CALCO.2015.17
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847093