Login / Signup
Functorial Semantics of Rewrite Theories.
José Meseguer
Published in:
Formal Methods in Software and Systems Modeling (2005)
Keyphrases
</>
formal semantics
semantic information
theoretical framework
transformation rules
modal operators
rewrite rules
logic programming
semantics of logic programs
databases
relational databases
action theories