No. Title Author Year
1 Completion for Logically Constrained Rewriting Winkler, Sarah et al. 2018
2 Confluence Competition 2018 Aoto, Takahito et al. 2018
3 ProTeM: A Proof Term Manipulator (System Description) Kohl, Christina et al. 2018
4 Infinite Runs in Abstract Completion Hirokawa, Nao et al. 2017
5 Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems Rapp, Franziska et al. 2016
6 Conditional Complexity Kop, Cynthia et al. 2015
7 Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules Nagele, Julian et al. 2015
8 Leftmost Outermost Revisited Hirokawa, Nao et al. 2015
9 Beyond Peano Arithmetic – Automatically Proving Termination of the Goodstein Sequence Winkler, Sarah et al. 2013
10 Normalized Completion Revisited Winkler, Sarah et al. 2013
11 Labelings for Decreasing Diagrams Zankl, Harald et al. 2011
12 Layer Systems for Proving Confluence Felgenhauer, Bertram et al. 2011
13 Revisiting Matrix Interpretations for Proving Termination of Term Rewriting Neurauter, Friedrich et al. 2011
14 Optimizing mkbTT Winkler, Sarah et al. 2010
15 Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers Neurauter, Friedrich et al. 2010
16 Implementing RPO and POLO using SAT Schneider-Kamp, Peter et al. 2007
Current Page :
Number of result pages: 1
Number of documents: 16


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI