المؤلفون: Sälzer, Marco, Alsmann, Eric, Lange, Martin

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

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

المؤلفون: Nunn, Pierre, Sälzer, Marco, Schwarzentruber, François, Troquard, Nicolas

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

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

المؤلفون: Sälzer, Marco^Aff9, Alsmann, Eric^Aff9, Bruse, Florian^Aff9, Lange, Martin^Aff9

المساهمون: Goos, Gerhard, Series 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, Day, Joel D., editor^Aff7, Manea, Florin, editor^Aff8

المصدر: Developments in Language Theory : 28th International Conference, DLT 2024, Göttingen, Germany, August 12–16, 2024, Proceedings. 14791:266-281

المؤلفون: Sälzer, Marco, Alsmann, Eric, Bruse, Florian, Lange, Martin

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

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

المؤلفون: Sälzer, Marco, Lange, Martin

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

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

المؤلفون: Sälzer, Marco, Lange, Martin

المصدر: Fundamenta Informaticae, Volume 189, Issues 3-4: Reachability Problems 2020 and 2021 (October 14, 2023) fi:9219

مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Machine Learning

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

المؤلفون: Sälzer, Marco, Lange, Martin

مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Machine Learning

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

المؤلفون: Bruse, Florian, Kreiker, Jörg, Lange, Martin, Sälzer, Marco

المصدر: EPTCS 326, 2020, pp. 97-113

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

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

المؤلفون: Bruse, Florian, Kreiker, Jörg, Lange, Martin, Sälzer, Marco

المصدر: In Information and Computation November 2022 289 Part B

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.