662 search results - page 14 / 133 » Trees, Automata and XML |
117
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
128
click to vote
CALCO
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
126
click to vote
DKE
2008
15 years 2 months ago
2008
XML Schema Definition (XSD) is the logical schemas of an XML model, but there is no standard format for the conceptual schema of an XML model. Therefore, we propose an XML Tree Mo...
106
click to vote
FOCS
2005
IEEE
15 years 7 months ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
121
click to vote
ICDT
2007
ACM
15 years 5 months ago
2007
ACM
Abstract. We review key constraints in the context of XML as introduced by Buneman et al. We show that one of the proposed inference rules is not sound in general, and the axiomati...