Login / Signup

Characterizing and proving operational termination of deterministic conditional term rewriting systems.

Felix SchernhammerBernhard Gramlich
Published in: J. Log. Algebraic Methods Program. (2010)
Keyphrases
  • term rewriting systems
  • term rewrite systems
  • logic programs
  • functional programs
  • random field model
  • decision making
  • term rewriting
  • database
  • relational databases
  • logic programming