Expressing properties of finite automata in variants of first-order logic

Howard Straubing

2025-04-08 13:00:00, #SéminaireCALIN
Salle B107, bâtiment B, Université de Villetaneuse