Type de projet
Résultats 1-6 de 6
-
Automata for Unordered Trees
Information and Computation, Elsevier, 22-04-2017, 253, 304-335Compte-rendu et recension critique d'ouvragetexte intégral -
Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time
20th International Conference on Developments in Language Theory (DLT 2016), Montreal, 25-07-2016, Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, Lecture Notes in Computer Science, Springer, 21-07-2016Communication dans un congrès avec actestexte intégral -
Deterministic Automata for Unordered Trees
Fifth International Symposium on Games, Automata, Logics and Formal Verification (Gandalf), Verona, 10-09-2014, EPTCS, 10-09-2014Communication dans un congrès avec actestexte intégral -
Equivalence of Symbolic Tree Transducers
DLT 2017 - Developments in Language Theory, Liege, 07-08-2017, 22-04-2017Communication dans un congrès avec actestexte intégral -
Logics for Unordered Trees with Data Constraints
Journal of Computer and System Sciences, Elsevier, 30-01-2019, 40Compte-rendu et recension critique d'ouvragetexte intégral -
Logics for Unordered Trees with Data Constraints on Siblings
LATA : 9th International Conference on Language and Automata Theory and Applications, Nice, 02-03-2015Communication dans un congrès avec actestexte intégral