Login / Signup

Strong Normalization of Typeable Rewrite Systems.

Steffen van BakelMaribel Fernández
Published in: HOA (1993)
Keyphrases
  • rewrite systems
  • term rewriting
  • quantifier free
  • knuth bendix
  • active rules
  • data structure
  • database systems
  • programming language