Playing with Maude.

Miguel Palomino Narciso Martí-Oliet Alberto Verdejo

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

formal specification
equational theories
computer games
image segmentation
multi agent