Towards Maude 2.0.

Manuel Clavel Francisco Durán Steven Eker Patrick Lincoln Narciso Martí-Oliet José Meseguer Jose F. Quesada

Published in: WRLA (2000)

Keyphrases

equational theories
formal specification
open source
databases
domain knowledge
knowledge based systems