MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Automata, Logic, and XML." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Automata, Logic, and XML
by Frank Neven — 2002 — In CSL‘02 - Annual Conference of the European Association for Computer Science Logic (invited talk
…Automata, Logic, and XML Frank Neven University of Limburg frank.neven@(email omitted); Abstract. We…
Cited by 6 (0 self) – Add To MetaCart

XML: model, schemas, types, logics, and queries
by Nils Klarlund, Thomas Schwentick, Dan Suciu — 2003 — IN LOGICS FOR EMERGING APPLICATIONS OF DATABASES
… and logic provide us with a set tools for understanding XML notations. In Sect. 6, we relate automata…
Cited by 11 (0 self) – Add To MetaCart

Checking Satisfiability of Tree Pattern Queries for Active XML Documents
by Hai-tao Ma, Zhong-xiao Hao, Yan Zhu — 2008
… the relationships among automata, Logic and XML in [16], and pointed out that tree automata can be used to define…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB