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