Login / Signup

An Abstract Formulation for Rewrite Systems.

A. John Power
Published in: Category Theory and Computer Science (1989)
Keyphrases
  • rewrite systems
  • term rewriting
  • active rules
  • quantifier free
  • knuth bendix
  • high level
  • theorem proving
  • active databases
  • databases
  • distributed systems
  • abstract data types