Sign in
Twenty Years of Rewriting Logic.
José Meseguer
Published in:
WRLA (2010)
Keyphrases
</>
classical logic
rewrite rules
modal logic
multi valued
rewriting rules
predicate logic
information systems
logic programming
query rewriting
dynamic logic
database
case study
defeasible logic