المؤلفون: Valizadeh, Mojtaba, Fijalkow, Nathanaël, Berger, Martin

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, 68, D.3

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

المؤلفون: Shabadi, Guruprerana, Fijalkow, Nathanaël, Matricon, Théo

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

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

المؤلفون: Mascle, Corto, Fijalkow, Nathanaël, Lagarde, Guillaume

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

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

المؤلفون: Raha, Ritam, Roy, Rajarshi, Fijalkow, Nathanael, Neider, Daniel, Perez, Guillermo A.

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

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

المؤلفون: Fijalkow, Nathanaël, Bertrand, Nathalie, Bouyer-Decitre, Patricia, Brenguier, Romain, Carayol, Arnaud, Fearnley, John, Gimbert, Hugo, Horn, Florian, Ibsen-Jensen, Rasmus, Markey, Nicolas, Monmege, Benjamin, Novotný, Petr, Randour, Mickael, Sankur, Ocan, Schmitz, Sylvain, Serre, Olivier, Skomra, Mateusz

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

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

المؤلفون: Casares, Antonio, Colcombet, Thomas, Fijalkow, Nathanaël, Lehtinen, Karoliina

المصدر: TheoretiCS, Volume 3 (2024), Article 12, 1-110

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

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

المؤلفون: Matricon, Théo, Fijalkow, Nathanaël, Margueritte, Gaëtan

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Programming Languages, Computer Science - Software Engineering

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

المؤلفون: Raha, Ritam^{Aff10, Aff11}, Roy, Rajarshi^Aff12, Fijalkow, Nathanaël^Aff11, Neider, Daniel^{Aff13, Aff14}, Pérez, Guillermo A.^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, Dimitrova, Rayna, editor^Aff7, Lahav, Ori, editor^Aff8, Wolff, Sebastian, editor^Aff9

المصدر: Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II. 14500:264-288

المؤلفون: Colcombet, Thomas, Fijalkow, Nathanaël, Horn, Florian

المصدر: Logical Methods in Computer Science (January 29, 2024) lmcs:10547

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

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

المؤلفون: Bouyer, Patricia, Fijalkow, Nathanaël, Randour, Mickael, Vandenhove, Pierre

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

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