Login / Signup

Proving Termination of Integer Term Rewriting.

Carsten FuhsJürgen GieslMartin PlückerPeter Schneider-KampStephan Falke
Published in: RTA (2009)
Keyphrases
  • term rewriting
  • rewrite systems
  • theorem prover
  • theorem proving
  • operational semantics
  • knuth bendix
  • inference rules
  • knowledge base
  • multi agent
  • cooperative
  • first order logic