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