Publications

Un article du LMF dans New Scientist juillet 24, 2026
New book by Stéphane Demri on alternating-time temporal logics mai 05, 2026

2025

Book Release : Learn Programming with OCaml février 13, 2025

2021

Matthias Függer et al: new article in JACM novembre 03, 2021