Closure Properties of Coalgebra Automata.

Clemens Kupke Yde Venema

Published in: LICS (2005)

Keyphrases

closure properties
tree automata
regular expressions
finite automata
expressive power
finite state
context free grammars
query language
context free
conjunctive queries
building blocks
context dependent
databases
model checking
pattern matching
fuzzy logic
information retrieval