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