Login / Signup

Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems.

Jürgen Stuber
Published in: RTA (2000)
Keyphrases
  • term rewriting systems
  • logic programs
  • databases
  • general purpose
  • theoretical framework
  • qualitative spatial reasoning
  • functional programs