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


DROPS-Home | Fulltext Search | Imprint Published by LZI