Login / Signup

Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems.

Wan J. FokkinkJasper KampermanPum Walters
Published in: ACM Trans. Program. Lang. Syst. (1998)
Keyphrases
  • rewrite systems
  • term rewriting
  • knuth bendix
  • quantifier free
  • active rules
  • theorem proving
  • database
  • databases