No. Title Author Year
1 Infinite Runs in Abstract Completion Hirokawa, Nao et al. 2017
2 AC Dependency Pairs Revisited Yamada, Akihisa et al. 2016
3 Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion Sternagel, Christian et al. 2016
4 Certification of Complexity Proofs using CeTA Avanzini, Martin et al. 2015
5 Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion Sternagel, Christian et al. 2013
6 Modular and Certified Semantic Labeling and Unlabeling Sternagel, Christian et al. 2011
7 Certified Subterm Criterion and Certified Usable Rules Sternagel, Christian et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 7


DROPS-Home | Fulltext Search | Imprint Published by LZI