Journal Articles

C. Kop and A. Middeldorp and T. Sternagel
Complexity of Conditional Term Rewriting
Logical Methods in Computer Science (LMCS),
Volume 13, Issue 1, 2017.
Papers in Proceedings

C. Sternagel and T. Sternagel
Certifying Confluence of QuasiDecreasing Strongly Deterministic Conditional Term Rewrite Systems
In Proceedings of the 26th International Conference on Automated Deduction (CADE 2017),
pp 413431, 2017.
SpringerVerlag

C. Sternagel and T. Sternagel
Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion
In Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016),
pp 29:129:16, 2016.
LIPIcs

C. Kop and A. Middeldorp and T. Sternagel
Conditional Complexity
In Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA 2015),
pp 223240, 2015.
LIPIcs

T. Sternagel and S. Winkler and H. Zankl
Recording Completion for Certificates in Equational Reasoning
In Proceedings of the 4th ACMSIGPLAN Conference on Certified Programs and Proofs (CPP 2015),
pp 4147, 2015.
ACM

T. Sternagel and A. Middeldorp
Conditional Confluence (System Description)
In Proceedings of the Joint 25th International Conference on Rewriting
Techniques and Applications and 12th International Conference on Typed Lambda
Calculi and Applications
(RTATLCA
2014),
Lecture Notes in Artificial Intelligence 8560, pp 456465, 2014.
© SpringerVerlag

T. Sternagel and H. Zankl
KBCV  KnuthBendix Completion Visualizer
In Proceedings of the 6th International Joint Conference on Automated Reasoning
(IJCAR 2012),
Lecture Notes in Artificial Intelligence 7364, pp 530536, 2012.
© SpringerVerlag
Thesis
Others

T. Sternagel and C. Sternagel
Certified NonConfluence with ConCon 1.5
In Proceedings of the 6th International Workshop on Confluence
(IWC 2017),
pp 913, 2017.

T. Sternagel and C. Sternagel
Formalized Confluence of QuasiDecreasing,
Strongly Deterministic Conditional TRSs
In Proceedings of the 5th International Workshop on Confluence
(IWC 2016),
pp 6064, 2016.

T. Sternagel and C. Sternagel
A Characterization of QuasiDecreasingness
In Proceedings of the 15th International Workshop on Termination
(WST 2016),
pp 12:112:5, 2016.

C. Sternagel and T. Sternagel
LevelConfluence of 3CTRSs in Isabelle/HOL
In Proceedings of the 4th International Workshop on Confluence
(IWC 2015),
pp 2832, 2015.

T. Sternagel and A. Middeldorp
Infeasible Conditional Critical Pairs
In Proceedings of the 4th International Workshop on Confluence
(IWC 2015),
pp 1317, 2015. (typo in example 6.1 fixed)

T. Sternagel
KBCV 2.0  Automatic Completion Experiments
In Proceedings of the 2nd International Workshop on Confluence
(IWC 2013),
pp 5357, 2013.

C. Kaliszyk and T. Sternagel
Initial Experiments on Deriving a Complete HOL Simplification Set
In Proceedings of the 3rd International Workshop on Proof Exchange for Theorem Proving
(PxTP 2013),
pp 7786, 2013.

T. Sternagel, R. Thiemann, H. Zankl and C. Sternagel
Recording Completion for Finding and Certifying Proofs in Equational Logic
In Proceedings of the 1st International Workshop on Confluence
(IWC 2012),
pp 3136, 2012.