No. Title Author Year
1 Front Matter, Table of Contents, Preface, Conference Organization Naumowicz, Adam et al. 2023
2 LIPIcs, Volume 268, ITP 2023, Complete Volume Naumowicz, Adam et al. 2023
3 Certifying the Weighted Path Order (Invited Talk) Thiemann, René et al. 2020
4 AC Dependency Pairs Revisited Yamada, Akihisa 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 On the Formalization of Termination Techniques based on Multiset Orderings Thiemann, René et al. 2012
8 Modular and Certified Semantic Labeling and Unlabeling Sternagel, Christian et al. 2011
9 Certified Subterm Criterion and Certified Usable Rules Sternagel, Christian et al. 2010
10 Decision Procedures for Loop Detection Thiemann, René et al. 2007
11 Implementing RPO and POLO using SAT Schneider-Kamp, Peter et al. 2007
12 Termination of Programs using Term Rewriting and SAT Solving Giesl, Jürgen et al. 2007
13 Proving and Disproving Termination in the Dependency Pair Framework Giesl, Jürgen et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 13

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