2004-03-30T23:59:59Z
2023-06-01T04:13:17Z
Automates d'arbres bidirectionnels modulo théories équationnelles
2003
2003-01-01
Arbres (théorie des graphes) -- Informatique
Théorie des machines séquentielles
Structures de données (informatique)
Arbres (théorie des graphes)
Informatique
Théorie des machines séquentielles
Structures de données informatiques
Verma, Kumar Neeraj
Goubault-Larrecq, Jean
Cachan, Ecole normale supérieure