MOSEL: A FLexible Toolset for Monadic Second-Order Logic.

Peter Kelb Tiziana Margaria Michael Mendler Claudia Gsottberger

Published in: TACAS (1997)

Keyphrases

monadic second order logic
expressive power
special case
database
databases
artificial intelligence
first order logic
development process