Feuilleter par Auteur : Gualtieri, Pauline
Resultats 1 à 1 de 1
Titre | Auteur | Année | (Co)Promoteur(s) | |
---|---|---|---|---|
Master thesis : Implementation of Automata over Linear Orderings | Gualtieri, Pauline | 2023 | Boigelot, Bernard |
Titre | Auteur | Année | (Co)Promoteur(s) | |
---|---|---|---|---|
Master thesis : Implementation of Automata over Linear Orderings | Gualtieri, Pauline | 2023 | Boigelot, Bernard |