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