Thomas Sternagel

16 papers A 2B 2Journal 9Unranked 3

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