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

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