Login / Signup

On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings.

Naoki NishidaMakishi YanagisawaKarl Gmeiner
Published in: WPTE@RTA/TLCA (2014)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • conditional probabilities
  • random field model