Modal Abstractions in µCRL.

Jaco van de Pol Miguel Valero Espada

Published in: AMAST (2004)

Keyphrases

modal logic
high level
nonmonotonic logics
database
neural network
information retrieval
search algorithm
website
optimal solution
relational databases