المؤلفون: Habermehl, Peter, Kuske, Dietrich

المصدر: Logical Methods in Computer Science, Volume 19, Issue 3 (July 12, 2023) lmcs:9329

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2204.03903

المؤلفون: Köcher, Chris^Aff9, Kuske, Dietrich^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Fernau, Henning, editor^Aff7, Jansen, Klaus, editor^Aff8

المصدر: Fundamentals of Computation Theory : 24th International Symposium, FCT 2023, Trier, Germany, September 18–21, 2023, Proceedings. 14292:318-332

المؤلفون: Kuske, Dietrich^{Aff1, IDs00236022004242_cor1}, Schwarz, Christian

المصدر: Acta Informatica. 60(1):79-100

المؤلفون: Kuske, Dietrich, Schweikardt, Nicole

المصدر: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2017 32nd Annual ACM/IEEE Symposium on. :1-12 Jun, 2017

Relation: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

المؤلفون: Kuske, Dietrich, Zetzsche, Georg

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1901.02194

المؤلفون: Heimberg, Lucas, Kuske, Dietrich, Schweikardt, Nicole

المصدر: 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2016 31st Annual ACM/IEEE Symposium on. :1-10 Jul, 2016

Relation: 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

المؤلفون: Kuske, Dietrich, Liu, Jiamou, Moskvina, Anastasia

المصدر: Logical Methods in Computer Science, Volume 14, Issue 3 (August 21, 2018) lmcs:4140

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/1712.03759

المؤلفون: Kuske, Dietrich^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Moreira, Nelma, editor^Aff8, Reis, Rogério, editor^Aff9

المصدر: Developments in Language Theory : 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings. 12811:242-254

المؤلفون: Kuske, Dietrich, Schweikardt, Nicole

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1703.01122

المؤلفون: Hutagalung, Milka, Hundeshagen, Norbert, Kuske, Dietrich, Lange, Martin, Lozes, Etienne

المصدر: EPTCS 226, 2016, pp. 213-227

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1609.04098