Property-Dependent Reductions for the Modal Mu-Calculus.

Radu Mateescu Anton Wijs

Published in: SPIN (2011)

Keyphrases

desirable properties
information retrieval
case study
modal logic
transition systems
databases
database systems
multi agent
development environment
automated theorem proving
automated deduction
provably correct