PDL for ordered trees, Journal of Applied Non-Classical Logics, vol.32, issue.2, pp.115-135, 2005. ,
DOI : 10.3166/jancl.15.115-135
URL : https://hal.archives-ouvertes.fr/inria-00001206
Minimization of tree pattern queries, ACM SIGMOD Record, vol.30, issue.2, pp.497-508, 2001. ,
DOI : 10.1145/376284.375730
Temporal Logics over Unranked Trees, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), pp.31-40, 2005. ,
DOI : 10.1109/LICS.2005.51
XPath satisfiability in the presence of DTDs, PODS '05: Proceedings of the twenty-fourth ACM Symposium on Principles of Database Systems, pp.25-36, 2005. ,
Structural properties of XPath fragments, Theoretical Computer Science, vol.336, issue.1, pp.3-31, 2005. ,
DOI : 10.1016/j.tcs.2004.10.030
Regular Tree Languages Definable in FO, STACS '05: Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, pp.327-339, 2005. ,
DOI : 10.1007/978-3-540-31856-9_27
XML path language (XPath) 2.0, W3C working draft, pp.20-20050915, 2005. ,
Algorithms for guided tree automata, WIA '96: Revised Papers from the First International Workshop on Implementing Automata, pp.6-25, 1997. ,
DOI : 10.1007/3-540-63174-7_2
Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986. ,
DOI : 10.1109/TC.1986.1676819
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.4027
Weak Second-Order Arithmetic and Finite Automata, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, pp.66-92, 1960. ,
DOI : 10.1002/malq.19600060105
XML path language (XPath) version 1.0, W3C recommendation, 1999. ,
Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs, pp.52-71, 1981. ,
Containment of regular path expressions under integrity constraints, KRDB '01: Proceedings of the 8th International Workshop on Knowledge Representation meets Databases of CEUR Workshop Proceedings. CEUR, ceur-ws.org, pp.1-11, 2001. ,
Tree acceptors and some of their applications, Journal of Computer and System Sciences, vol.4, issue.5, pp.406-451, 1970. ,
DOI : 10.1016/S0022-0000(70)80041-1
XQuery 1.0 and XPath 2.0 formal semantics, W3C working draft, 2005. ,
Compile-Time Debugging of C Programs Working on Trees, ESOP '00: Proceedings of the 9th European Symposium on Programming Languages and Systems, pp.119-134, 2000. ,
DOI : 10.1007/3-540-46425-5_8
Decision problems of finite automata design and related arithmetics, Transactions of the American Mathematical Society, vol.98, issue.1, pp.21-52, 1961. ,
DOI : 10.1090/S0002-9947-1961-0139530-9
Secure XML querying with security views, Proceedings of the 2004 ACM SIGMOD international conference on Management of data , SIGMOD '04, pp.587-598, 2004. ,
DOI : 10.1145/1007568.1007634
Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, vol.18, issue.2, pp.194-211, 1979. ,
DOI : 10.1016/0022-0000(79)90046-1
XPathMark: An XPath Benchmark for the XMark Generated Data, XSYM '05: Proceedings of The Third International Symposium on Database and XML Technologies, pp.129-143, 2005. ,
DOI : 10.1007/11547273_10
XPath formal semantics and beyond: A Coq-based approach, TPHOLs '04: Emerging Trends Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics, pp.181-198, 2004. ,
Some classes of recursive functions, Rozprawy Matematyczne, vol.4, pp.1-45, 1953. ,
Regular expression types for XML, ACM Transactions on Programming Languages and Systems, vol.27, issue.1, pp.46-90, 2005. ,
DOI : 10.1145/1053468.1053470
URL : https://hal.archives-ouvertes.fr/hal-00009271
The Coq Proof Assistant -A tutorial -Version 8.0. INRIA. URL http://coq Mona & Fido: The logic-automaton connection in practice . In: CSL '97: Selected Papers from the 11th International Workshop on, inria.fr Klarlund, N. Computer Science Logic. LNCS, vol.1414, pp.311-326, 1998. ,
MONA Version 1.4 User Manual. BRICS Notes Series NS-01-1, 2001. ,
MONA implementation secrets, CIAA '00: Revised Papers from the 5th International Conference on Implementation and Application of Automata, pp.182-194, 2001. ,
DOI : 10.7146/brics.v7i40.20206
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.1846
Conditional XPath, the first order complete XPath dialect, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '04, pp.13-22, 2004. ,
DOI : 10.1145/1055558.1055562
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.1781
XPath with Conditional Axis Relations, Proceedings of the 9th International Conference on Extending Database Technology, pp.477-494, 2004. ,
DOI : 10.1007/978-3-540-24741-8_28
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.7870
Weak monadic second-order theory of successor is not elementary-recursive, Proceedings of Logic Colloquium, 1975. ,
Containment and equivalence for a fragment of XPath, Journal of the ACM, vol.51, issue.1, pp.2-45, 2004. ,
DOI : 10.1145/962446.962448
Automata theory for XML researchers, ACM SIGMOD Record, vol.31, issue.3, pp.39-46, 2002. ,
DOI : 10.1145/601858.601869
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.907
XPath containment in the presence of disjunction , DTDs, and variables, ICDT '03: Proceedings of the 9th International Conference on Database Theory, pp.315-329, 2003. ,
XPath query containment, ACM SIGMOD Record, vol.33, issue.1, pp.101-109, 2004. ,
DOI : 10.1145/974121.974140
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.7281
The complexity of decision problems in automata theory and logic, Project MAC, M.I.T, 1974. ,
Word problems requiring exponential time, Proceedings of the 5th ACM symposium on Theory of computing, pp.1-9, 1973. ,
DOI : 10.1145/800125.804029
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.4618
Updatex -an XQuery-based language for processing updates in XML, Proceedings of the International Workshop on Programming Language Technologies for XML NS-03-4 of BRICS Notes Series, pp.40-53, 2004. ,
A decision procedure for the alternation-free two-way modal µcalculus, TABLEAUX '05: Proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp.277-291, 2005. ,
Generalized finite automata theory with an application to a decision problem of second-order logic, Mathematical Systems Theory, vol.12, issue.1, pp.57-81, 1968. ,
DOI : 10.1007/BF01691346
Towards static type checking for XSLT, Proceedings of the 2001 ACM Symposium on Document engineering , DocEng '01, pp.18-27, 2001. ,
DOI : 10.1145/502187.502191
Two semantics for XPath, internal Technical Note of the W3C XSL Working Group, 2000. ,
On the Equivalence of XML Patterns, CL '00: Proceedings of the First International Conference on Computational Logic, pp.1152-1166, 2000. ,
DOI : 10.1007/3-540-44957-4_77
Containment for XPath Fragments under DTD Constraints, ICDT '03: Proceedings of the 9th International Conference on Database Theory, pp.300-314, 2003. ,
DOI : 10.1007/3-540-36285-1_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.3975