Thomas Sternagel

According to our database, Thomas Sternagel authored at least 15 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Regular Tree Relations.

Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann, Thomas Sternagel

Arch. Formal Proofs, 2021

2017

Certified Non-Confluence with ConCon 1.5.

Thomas Sternagel, Christian Sternagel

CoRR, 2017

Complexity of Conditional Term Rewriting.

Cynthia Kop, Aart Middeldorp, Thomas Sternagel

Log. Methods Comput. Sci., 2017

Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems.

Christian Sternagel, Thomas Sternagel

Proceedings of the Automated Deduction - CADE 26, 2017

2016

A Characterization of Quasi-Decreasingness.

Thomas Sternagel, Christian Sternagel

CoRR, 2016

Formalized Confluence of Quasi-Decreasing, Strongly Deterministic Conditional TRSs.

Thomas Sternagel, Christian Sternagel

CoRR, 2016

Level-Confluence of 3-CTRSs in Isabelle/HOL.

Christian Sternagel, Thomas Sternagel

CoRR, 2016

Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion.

Christian Sternagel, Thomas Sternagel

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

2015

KBCV 2.0 - Automatic Completion Experiments.

Thomas Sternagel

CoRR, 2015

Conditional Complexity.

Cynthia Kop, Aart Middeldorp, Thomas Sternagel

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Recording Completion for Certificates in Equational Reasoning.

Thomas Sternagel, Sarah Winkler, Harald Zankl

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014

Conditional Confluence (System Description).

Thomas Sternagel, Aart Middeldorp

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

2013

Initial Experiments on Deriving a Complete HOL Simplification Set.

Cezary Kaliszyk, Thomas Sternagel

Proceedings of the Third International Workshop on Proof Exchange for Theorem Proving, 2013

2012

Recording Completion for Finding and Certifying Proofs in Equational Logic

Thomas Sternagel, René Thiemann, Harald Zankl, Christian Sternagel

CoRR, 2012

KBCV - Knuth-Bendix Completion Visualizer.

Thomas Sternagel, Harald Zankl

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012