Login / Signup

Comparing Combinatory Reduction Systems and Higher-order Rewrite Systems.

Vincent van OostromFemke van Raamsdonk
Published in: HOA (1993)
Keyphrases
  • rewrite systems
  • higher order
  • management system
  • distributed systems
  • information systems
  • term rewriting
  • knuth bendix
  • expert systems