Foundations of XML Based on Logic and Automata: A Snapshot.

Thomas Schwentick

Published in: FoIKS (2012)

Keyphrases

artificial intelligence
modal logic
logic programming
finite automata
cellular automata
classical logic
automated reasoning
databases
lattice gas
automata theoretic
probabilistic logic
defeasible logic
nonmonotonic logics
regular expressions
digital circuits
formal theory
asynchronous circuits