Login / Signup
Completion for Constrained Term Rewriting Systems.
Charles Hoot
Published in:
CTRS (1992)
Keyphrases
</>
term rewriting systems
functional programs
logic programs
machine learning
data warehouse