A Modular Rewriting Semantics for CML.

Fabricio Chalub Christiano Braga

Published in: J. Univers. Comput. Sci. (2004)

Keyphrases

formal semantics
derivation rules
database
information systems
conceptual graphs
knowledge base
special case
algebraic structure
modular neural networks
presburger arithmetic