Set Constraints and Automata

JOURNAL ARTICLE published February 1999 in Information and Computation

Authors: Rémi Gilleron | Sophie Tison | Marc Tommasi

Pumping, cleaning and symbolic constraints solving

BOOK CHAPTER published 1994 in Automata, Languages and Programming

Authors: Anne -Cécile Caron | Hubert Comon | Jean -Luc Coquidé | Max Dauchet | Florent Jacquemard

Visibly Tree Automata with Memory and Constraints

JOURNAL ARTICLE published 18 June 2008 in Logical Methods in Computer Science

Authors: Hubert Comon-Lundh | Florent Jacquemard | Nicolas Perrin

Bottom-up tree pushdown automata and rewrite systems

BOOK CHAPTER published 1991 in Rewriting Techniques and Applications

Authors: J-L. Coquidé | M. Dauchet | R. Gilleron | S. Vàgvölgyi

Solving systems of set constraints using tree automata

BOOK CHAPTER published 1993 in Lecture Notes in Computer Science

Authors: Rémi Gilleron | Sophie Tison | Marc Tommasi

Tree Automata with Memory, Visibility and Structural Constraints

BOOK CHAPTER published in Foundations of Software Science and Computational Structures

Authors: Hubert Comon-Lundh | Florent Jacquemard | Nicolas Perrin

XML Schema, Tree Logic and Sheaves Automata

BOOK CHAPTER published 2003 in Rewriting Techniques and Applications

Authors: Silvano Dal Zilio | Denis Lugiez

Bottom-up tree pushdown automata: classification and connection with rewrite systems

JOURNAL ARTICLE published May 1994 in Theoretical Computer Science

Authors: Jean-Luc Coquidé | Max Dauchet | Rémi Gilleron | Sándor Vágvölgyi

Réduction de la non-linéarité des morphismes d'arbres Recognizable tree-languages and non-linear morphisms

JOURNAL ARTICLE published June 2002 in Theoretical Computer Science

Authors: Max Dauchet | Sophie Tison | Marc Tommasi

Tree Automata and Term Rewrite Systems

BOOK CHAPTER published 2000 in Rewriting Techniques and Applications

Authors: Sophie Tison

Solving systems of set constraints with negated subset relationships

PROCEEDINGS ARTICLE published in Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science

Authors: R. Gilleron | S. Tison | M. Tommasi

Ground reducibility and automata with disequality constraints

BOOK CHAPTER published 1994 in Lecture Notes in Computer Science

Authors: Hubert Comon | Florent Jacquemard

Rigid Tree Automata

BOOK CHAPTER published 2009 in Language and Automata Theory and Applications

Authors: Florent Jacquemard | Francis Klay | Camille Vacher

Rigid tree automata and applications

JOURNAL ARTICLE published March 2011 in Information and Computation

Authors: Florent Jacquemard | Francis Klay | Camille Vacher

REGULAR TREE LANGUAGES AND REWRITE SYSTEMS

JOURNAL ARTICLE published 1995 in Fundamenta Informaticae

Authors: Rémy Gilleron | Sophie Tison

Querying Unranked Trees with Stepwise Tree Automata

BOOK CHAPTER published 2004 in Rewriting Techniques and Applications

Authors: Julien Carme | Joachim Niehren | Marc Tommasi

Residual Finite Tree Automata

BOOK CHAPTER published 2003 in Developments in Language Theory

Authors: Julien Carme | Rémi Gilleron | Aurélien Lemay | Alain Terlutte | Marc Tommasi

Symbolic constraints and tree automata

BOOK CHAPTER published in Constraints in Computational Logics

Authors: Max Dauchet

Efficient Inclusion Checking for Deterministic Tree Automata and DTDs

BOOK CHAPTER published in Language and Automata Theory and Applications

Authors: Jérôme Champavère | Rémi Gilleron | Aurélien Lemay | Joachim Niehren

Closure of Hedge-Automata Languages by Hedge Rewriting

BOOK CHAPTER published in Rewriting Techniques and Applications

Authors: Florent Jacquemard | Michael Rusinowitch