The Maude System.

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

Published in: RTA (1999)

Keyphrases

formal specification
equational theories
artificial intelligence
information systems
case study
object oriented
database
knowledge base
heuristic search