Login / Signup
Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems.
Naoki Nishida
Yuya Maeda
Published in:
FSCD (2018)
Keyphrases
</>
tree automata
term rewriting systems
functional programs
logic programs
decision trees
relational databases
conditional probabilities
random field model