Closure Properties of Almost-Finiteness Classes in Recursive Function Theory.

Heinrich Rolletschek

Published in: J. Symb. Log. (1983)

Keyphrases

closure properties
expressive power
tree automata
recursive functions
context free grammars
conjunctive queries
databases
database
artificial intelligence
query language
structural properties
context free