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
Current Page :
Number of result pages: 2
Number of documents: 16


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