Continuous Fragment of the mu-Calculus.

Gaëlle Fontaine

Published in: CSL (2008)

Keyphrases

artificial intelligence
data structure
constraint satisfaction problems
automated deduction
computer algebra
databases
web services
multiscale
development environment