Mois : janvier 2020

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