Skip to Main content Skip to Navigation
Books

Tree Automata Techniques and Applications

Hubert Comon 1 Max Dauchet 2 Rémi Gilleron 3 Florent Jacquemard 4 Denis Lugiez 5 Christof Löding 6 Sophie Tison 3 Marc Tommasi 3 
1 SECSI - Security of information systems
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
3 MOSTRARE - Modeling Tree Structures, Machine Learning, and Information Extraction
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
4 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Complete list of metadata

https://hal.inria.fr/hal-03367725
Contributor : Marc Tommasi Connect in order to contact the contributor
Submitted on : Wednesday, October 6, 2021 - 1:05:33 PM
Last modification on : Wednesday, February 2, 2022 - 3:52:43 PM
Long-term archiving on: : Friday, January 7, 2022 - 6:53:28 PM

File

tata.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03367725, version 1

Citation

Hubert Comon, Max Dauchet, Rémi Gilleron, Florent Jacquemard, Denis Lugiez, et al.. Tree Automata Techniques and Applications. pp.262, 2008. ⟨hal-03367725⟩

Share

Metrics

Record views

3273

Files downloads

662