Tree Automata with Global Constraints

Technical Report PDF: 
Technical Report Number: 
2010.134
TitleTree Automata with Global Constraints
Publication TypeJournal Article
Year of Publication2010
AuthorsFiliot, E, Talbot J-M, Tison S
JournalInt. J. Found. Comput. Sci.
Volume21
Pagination571-596