作 者:Jean Christoph Jung ;Carsten Lutz ;Mauricio Martel 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:108:1-108:14.doi:10.4230/LIPIcs.ICALP.2017.108
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:198372062
作 者:Jean Christoph Jung ;Carsten Lutz ;Mauricio Martel 等
出 处:Journal of Artificial Intelligence Research. 2020 ;68:365-411.
出 版 社:American Association of Artificial
文 章 ID:255880564
作 者:Carsten Lutz ;Jean Christoph Jung
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;155::i-:xvi.doi:10.4230/LIPIcs.ICDT.2020.0
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255823513
作 者:Jean Christoph Jung ;Carsten Lutz ;Mauricio Martel 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;98:15:1-15:18.doi:10.4230/LIPIcs.ICDT.2018.15
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220015229
作 者:Victor Gutierrez-Basulto ;Jean Christoph Jung ;Carsten Lutz 等
出 处:Journal of Artificial Intelligence Research. 2017 ;58:1-66.
出 版 社:American Association of Artificial
文 章 ID:216537523