Login / Signup

Optimal Normalization in Orthogonal Term Rewriting Systems.

Zurab Khasidashvili
Published in: RTA (1993)
Keyphrases
  • term rewriting systems
  • optimal solution
  • functional programs
  • database
  • dynamic programming