No. Title Author Year
1 Beyond Peano Arithmetic Automatically Proving Termination of the Goodstein Sequence Winkler, Sarah et al. 2013
2 Normalized Completion Revisited Winkler, Sarah et al. 2013
3 Labelings for Decreasing Diagrams Zankl, Harald et al. 2011
4 Layer Systems for Proving Confluence Felgenhauer, Bertram et al. 2011
5 Revisiting Matrix Interpretations for Proving Termination of Term Rewriting Neurauter, Friedrich et al. 2011
6 Optimizing mkbTT Winkler, Sarah et al. 2010
7 Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers Neurauter, Friedrich et al. 2010
8 Implementing RPO and POLO using SAT Schneider-Kamp, Peter et al. 2007
Current Page :
Number of result pages: 1
Number of documents: 8


DROPS-Home | Fulltext Search | Imprint Published by LZI