Modular Rewriting Semantics in Practice.

Christiano Braga José Meseguer

Published in: WRLA (2004)

Keyphrases

logic programming
formal semantics
rewrite rules
data sets
information systems
case study
semantic representation
databases
real world
conjunctive queries
conceptual graphs
default reasoning
transformation rules