المؤلفون: Jung, Jean Christoph, Kołodziejski, Jędrzej

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

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

المؤلفون: Jung, Jean Christoph, Ryzhikov, Vladislav, Wolter, Frank, Zakharyaschev, Michael

مصطلحات موضوعية: Computer Science - Databases, Computer Science - Logic in Computer Science, I.2.4, F.2.2

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

المؤلفون: Cate, Balder ten, Funk, Maurice, Jung, Jean Christoph, Lutz, Carsten

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

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

المؤلفون: Funk, Maurice, Hosemann, Simon, Jung, Jean Christoph, Lutz, Carsten

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

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

المؤلفون: Jung, Jean Christoph, Ryzhikov, Vladislav, Wolter, Frank, Zakharyaschev, Michael

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Databases, Computer Science - Logic in Computer Science, I.2.4, F.4.1

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

المؤلفون: Cate, Balder ten, Funk, Maurice, Jung, Jean Christoph, Lutz, Carsten

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

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

المؤلفون: Westhofen, Lukas^Aff9, Neurohr, Christian^Aff9, Jung, Jean Christoph^Aff10, Neider, Daniel^{Aff10, Aff11}

المساهمون: 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, Finkbeiner, Bernd, editor^Aff7, Kovács, Laura, editor^Aff8

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. 14570:167-187

المؤلفون: Jung, Jean Christoph, Wolter, Frank

المصدر: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2021 36th Annual ACM/IEEE Symposium on. :1-14 Jun, 2021

Relation: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

المؤلفون: Cate, Balder ten, Funk, Maurice, Jung, Jean Christoph, Lutz, Carsten

مصطلحات موضوعية: Computer Science - Databases, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science

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

المؤلفون: Funk, Maurice, Jung, Jean Christoph, Lutz, Carsten

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

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