Automates d'arbres bidirectionnels modulo théories équationnelles
FR |
EN
Auteur / Autrice : | Kumar Neeraj Verma |
Direction : | Jean Goubault-Larrecq |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2003 |
Etablissement(s) : | Cachan, Ecole normale supérieure |