Thomas Sternagel

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 8

Top Topics

Rewrite Systems

Theorem Proving

Top Venues

Publications

Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann, Thomas Sternagel
Regular Tree Relations. Arch. Formal Proofs 2021 (2021)
Christian Sternagel, Thomas Sternagel
Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems. CADE (2017)
Thomas Sternagel, Christian Sternagel
Certified Non-Confluence with ConCon 1.5. CoRR (2017)
Cynthia Kop, Aart Middeldorp, Thomas Sternagel
Complexity of Conditional Term Rewriting. Log. Methods Comput. Sci. 13 (1) (2017)
Christian Sternagel, Thomas Sternagel
Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion. FSCD (2016)
Christian Sternagel, Thomas Sternagel
Level-Confluence of 3-CTRSs in Isabelle/HOL. CoRR (2016)
Thomas Sternagel, Christian Sternagel
A Characterization of Quasi-Decreasingness. CoRR (2016)
Thomas Sternagel, Christian Sternagel
Formalized Confluence of Quasi-Decreasing, Strongly Deterministic Conditional TRSs. CoRR (2016)
Thomas Sternagel, Sarah Winkler, Harald Zankl
Recording Completion for Certificates in Equational Reasoning. CPP (2015)
Thomas Sternagel
KBCV 2.0 - Automatic Completion Experiments. CoRR (2015)
Cynthia Kop, Aart Middeldorp, Thomas Sternagel
Conditional Complexity. RTA (2015)
Thomas Sternagel, Aart Middeldorp
Conditional Confluence (System Description). RTA-TLCA (2014)
Cezary Kaliszyk, Thomas Sternagel
Initial Experiments on Deriving a Complete HOL Simplification Set. PxTP@CADE (2013)
Thomas Sternagel, Harald Zankl
KBCV - Knuth-Bendix Completion Visualizer. IJCAR (2012)
Thomas Sternagel, René Thiemann, Harald Zankl, Christian Sternagel
Recording Completion for Finding and Certifying Proofs in Equational Logic CoRR (2012)