Results on the quantitative µ-calculus qMµ.

Annabelle McIver Carroll Morgan

Published in: ACM Trans. Comput. Log. (2007)

Keyphrases

qualitative and quantitative
data sets
information retrieval
search engine
multiresolution
website
image segmentation
hidden markov models
query language
relational calculus
algebraic structure
provably correct