Login / Signup

Böhm-Like Trees for Term Rewriting Systems.

Jeroen Ketema
Published in: RTA (2004)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • decision trees
  • tree structure
  • high level