, Language and Automata Theory and Applications9th International Conference, vol.8977, pp.175-187, 2015.
, Graph Structure and Monadic Second-Order Logic-A Language-Theoretic Approach, vol.138, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00646514
Static and dynamic semantics of NoSQL languages, pp.101-114, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00797956
Numerical document queries, Proceedings of the Symposium on Principles Of Database Systems, pp.155-166, 2003. ,
Automata and logics for unranked and unordered trees, LNCS, vol.3467, pp.500-515, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00536694
tree logic and sheaves automata, Proc. of RTA, vol.2706, pp.246-263, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00071954
Feature constraint logics for unification grammars, Journal of Logic Programming, vol.12, pp.90039-90045, 1992. ,
Records for logic programming, J. Log. Program, vol.18, issue.3, pp.229-258, 1994. ,
The First-Order theory of ordering constraints over feature trees, pp.432-443, 1998. ,
Feature automata and recognizable sets of feature trees, LNCS, vol.668, pp.356-375, 1993. ,
URL : https://hal.archives-ouvertes.fr/inria-00536823
A complete and recursive feature theory, Theor. Comput. Sci, vol.146, issue.1-2, pp.243-268, 1995. ,
, Structures, languages and translations: the structural approach to feature logic, pp.1-27, 1994.
Algebraic recognizability of languages, Mathematical Foundations of Computer Science, pp.149-175, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00096619
Model checking languages of data words, Foundations of Software Science and Computational Structures, pp.391-405, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00658333
Monadic second order definable relations on the binary tree, J. Symb. Log, vol.52, issue.1, pp.219-226, 1987. ,
Twovariable logic on data words, ACM Trans. Comput. Log, vol.12, issue.4, p.27, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00151749
Automata for unordered trees, Inf. Comput, vol.253, pp.304-335, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01179493
The monadic second-order logic of graphs. i. recognizable sets of finite graphs, Information and computation, vol.85, issue.1, 1990. ,
URL : https://hal.archives-ouvertes.fr/hal-00353765
On XPath with transitive axes and data tests, PODS, ACM, pp.249-260, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01795148
Weak second-order arithmetic and finite automata, Mathematical Logic Quarterly, vol.6, issue.1-6, pp.66-92, 1960. ,
Generalized finite automata theory with an application to a decision problem of second-order logic, MST, vol.2, issue.1, pp.57-81, 1968. ,
Word problems requiring exponential time, Symposium on the Theory of Computing, pp.1-9, 1973. ,
Ordering constraints over feature trees expressed in second-order monadic logic, Inf. Comput, vol.159, issue.1-2, pp.22-58, 2000. ,
, Tree automata techniques and applications, 2007.
, Automata on Infinite Objects and Church's Problem, 1972.
Monadic second order definable relations on the binary tree, Journal of Symbol Logic, vol.52, issue.1, pp.219-226, 1987. ,
Counting in trees, of Texts in Logic and Games, vol.2, pp.575-612, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00358327
Equality and disequality constraints on direct subterms in tree automata, Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS '92, pp.161-171, 1992. ,
, Recursive queries on trees and data trees, pp.93-104, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00809297