المؤلفون: Platzer, André

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B70, 68N15, 97E30, 97U70, 97P40, F.3.1, F.3.2, K.3.0

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

المؤلفون: Platzer, André

مصطلحات موضوعية: Computer Science - Artificial Intelligence, 68T01, 68T05, 68T07, 68T27, 68T30, 03B70, I.2.0, I.2.3, I.2.4, I.2.6, I.2.8

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

المؤلفون: Prebet, Enguerrand, Platzer, André

المصدر: Automated Reasoning, 12th International Joint Conference, IJCAR 2024

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.3.1, F.4.1, D.2.4

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

المؤلفون: Wafa, Noah Abou El, Platzer, André

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Computer Science and Game Theory, Mathematics - Logic, 03B70 (Primary) 03B45, 68Q60, 91A44, 91A05, 91A25 (Secondary), F.3.1, F.4.1, F.3.3

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

المؤلفون: Teuber, Samuel, Mitsch, Stefan, Platzer, André

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

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

المؤلفون: Kabra, Aditi, Laurent, Jonathan, Mitsch, Stefan, Platzer, André

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control, Computer Science - Logic in Computer Science

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

المؤلفون: Dotzel, Myra, Mitsch, Stefan, Platzer, Andre

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

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

المؤلفون: Brieger, Marvin, Mitsch, Stefan, Platzer, André

المصدر: International Conference on Automated Deduction, CADE-29 2023

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.3.1, F.4.1, D.2.4, C.1.m, C.2.4, D.4.7

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

المؤلفون: Brieger, Marvin, Mitsch, Stefan, Platzer, André

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, F.3.1, F.4.1, D.2.4, C.1.m, C.2.4, D.4.7

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

المؤلفون: Kabra, Aditi^Aff9, Laurent, Jonathan^{Aff9, Aff10}, Mitsch, Stefan^{Aff9, Aff11}, Platzer, André^{Aff9, 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, 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:144-164