Janvier 2020 — Modèles de calcul et Complexité

« Reachability in Vector Addition Systems is Not Elementary » par J. Leroux (LABRI)
« Locally definable vertex set properties are efficiently enumerable » par N. Creignou (LIS)
« Determinisation of Finitely-Ambiguous Copyless Cost Register Automata » par T. Lopez (LIS)

Orateur : J. Leroux (LABRI)
Titre : Reachability in Vector Addition Systems is Not Elementary


Orateur : N. Creignou (LIS)
Titre : Locally definable vertex set properties are efficiently enumerable


Orateur : T. Lopez (LIS)
Titre : Determinisation of Finitely-Ambiguous Copyless Cost Register Automata