Login / Signup

Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems.

Naoki NishidaYuya Maeda
Published in: FSCD (2018)
Keyphrases
  • tree automata
  • term rewriting systems
  • functional programs
  • logic programs
  • decision trees
  • relational databases
  • conditional probabilities
  • random field model