Expressiveness and Closure Properties for Quantitative Languages

Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger

Published in: CoRR (2009)

Keyphrases

closure properties
expressive power
query language
first order logic
tree automata
artificial intelligence
np complete