A Rewriting Semantics for Maude Strategies.

Narciso Martí-Oliet José Meseguer Alberto Verdejo

Published in: WRLA (2008)

Keyphrases

formal semantics
logic programming
formal specification
operational semantics
rewriting rules
data sets
knowledge base
relational databases
knowledge representation
semantic information
modal logic
equational theories