Login / Signup

Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems.

Franziska RappAart Middeldorp
Published in: FSCD (2016)
Keyphrases
  • quantifier free
  • rewrite systems
  • term rewriting
  • quantifier elimination
  • first order logic
  • knuth bendix
  • active rules
  • theorem proving
  • conjunctive queries
  • databases
  • relational databases
  • data model