Expressiveness and Closure Properties for Quantitative Languages

Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

closure properties
expressive power
query language
first order logic
tree automata
context free grammars
databases
machine learning
information retrieval
artificial intelligence
expert systems
object oriented
knowledge based systems
structural properties
regular expressions