Certification extends Termination Techniques

Christian Sternagel René Thiemann

Published in: CoRR (2012)

Keyphrases

third party
data sets
term rewriting
multiresolution
e learning
user interface
theorem proving
database administration