Results on the quantitative mu-calculus qMu

Annabelle McIver Carroll Morgan

Published in: CoRR (2003)

Keyphrases

qualitative and quantitative
development environment
social networks
quantitative measures
computer algebra
databases
search engine
image processing
data structure
multiresolution
hidden markov models
automated deduction