Thèse soutenue

Automates d'arbres bidirectionnels modulo théories équationnelles
FR  |  
EN
Accès à la thèse
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