No. Title Author Year
1 Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion Sternagel, Christian et al. 2013
2 On the Formalization of Termination Techniques based on Multiset Orderings Thiemann, René et al. 2012
3 Modular and Certified Semantic Labeling and Unlabeling Sternagel, Christian et al. 2011
4 Certified Subterm Criterion and Certified Usable Rules Sternagel, Christian et al. 2010
5 Decision Procedures for Loop Detection Thiemann, René et al. 2007
6 Implementing RPO and POLO using SAT Schneider-Kamp, Peter et al. 2007
7 Termination of Programs using Term Rewriting and SAT Solving Giesl, Jürgen et al. 2007
8 Proving and Disproving Termination in the Dependency Pair Framework Giesl, Jürgen et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 8


DROPS-Home | Fulltext Search | Imprint Published by LZI