 |
First order logic and twin-width in tournaments
1 : Modèles de calcul, Complexité, Combinatoire
Laboratoire de l\'Informatique du Parallélisme
| Type : | : | oral |
| Thématiques | : | |
| Mots-Clés | : | tournaments ; twin width ; first order logic ; model checking |
| PDF version | : |  PDF version |
