作 者:Volker Diekert ;Murray Elder
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:96:1-96:14.doi:10.4230/LIPIcs.ICALP.2017.96
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:198372050
作 者:Volker Diekert ;Manfred Kufleitner
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:325-336.doi:10.4230/LIPIcs.STACS.2009.1818
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845552
作 者:Volker Diekert ;J{\"u}rn Laun ;Alexander Ushakov
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;14:218-229.doi:10.4230/LIPIcs.STACS.2012.218
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846031
作 者:Volker Diekert ;Artur Jez ;Manfred Kufleitner
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:127:1-127:14.doi:10.4230/LIPIcs.ICALP.2016.127
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847724
作 者:Volker Diekert ;Tobias Walter
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:129:1-129:14.doi:10.4230/LIPIcs.ICALP.2016.129
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847726
作 者:Carlos Camino ;Volker Diekert ;Besik Dundua 等
出 处:Logical Methods in Computer Science. 2022 ;18(1):1-38.doi:10.46298/lmcs-18(1:25)2022
出 版 社:Technical University of Braunschweig
文 章 ID:1038046928