Login / Signup

Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems.

Andreas Schnabl
Published in: ESSLLI Student Sessions (2009)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • databases
  • management system
  • finite state