|
25
|
Counting in Trees for Free
– Helmut Seidl, Thomas Schwentick, Anca Muscholl, Peter Habermehl
- 2004
|
|
30
|
Querying unranked trees with stepwise tree automata
– Julien Carme, Joachim Niehren, Marc Tommasi
- 2004
|
|
6
|
Spatial Tree Logics to Reason about Semistructured Data
– Giovanni Conforti, Giorgio Ghelli
- 2003
|
|
16
|
XML Schema, Tree Logic and Sheaves Automata
– Silvano Dal Zilio, Silvano Dal Zilio, Denis Lugiez, Denis Lugiez
- 2003
|
|
66
|
A Web Odyssey: from Codd to XML
– Victor Vianu
- 2001
|
|
8
|
TQL Algebra and its Implementation (Extended Abstract)
– Giovanni Conforti, Orlando Ferrara, Giorgio Ghelli
- 2002
|
|
6
|
Combining temporal logics for querying XML documents
– Marcelo Arenas, Pablo Barceló, Leonid Libkin
- 2006
|
|
19
|
N-ary queries by tree automata
– Joachim Niehren, Laurent Planque, Jean-marc Talbot, Sophie Tison
- 2005
|
|
1
|
Karp-Miller Trees for a Branching Extension of VASS
– K. N. Verma, J. Goubault-larrecq, Kumar Neeraj, Verma Jean Goubault-larrecq
|
|
8
|
Two-way equational tree automata for AC-like theories: Decidability and closure properties
– Kumar Neeraj Verma
- 2003
|
|
11
|
Alternating Two-Way AC-Tree Automata
– J. Goubault-Larrecq, K.N. Verma, Kumar Neeraj Verma
- 2002
|
|
7
|
Bigraphical Logics for XML
– Giovanni Conforti , Damiano Macedonio, Vladimiro Sassone
- 2005
|
|
3
|
XML Transformation Language Based on Monadic Second-order Logic
– Kazuhiro Inaba, Haruo Hosoya
|
|
|
Expressive Power and Data Complexity of Nonrecursive
– Query Languages For, Evgeny Dantsin, Andrei Voronkov
|
|
|
Querying and Transforming XML Documents Using Tree Automata
– Alexandru Berlea, Helmut Seidl
- 2003
|
|
1
|
Efficient Reasoning about Data Trees via Integer Linear Programming
– Claire David, Leonid Libkin, Tony Tan
- 2011
|
|
5
|
On closure under complementation of equational tree automata for theories extending AC
– Kumar Neeraj Verma
- 2003
|
|
3
|
XML: From practice to theory
– Victor Vianu
- 2003
|
|
6
|
Automata, Logic, and XML
– Frank Neven
- 2002
|
