Thomas Sternagel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2012–2017
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CADE | Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems. | Christian Sternagel, Thomas Sternagel |
| 2015 | CPP | Recording Completion for Certificates in Equational Reasoning. | Thomas Sternagel, Sarah Winkler, Harald Zankl |
| 2013 | CADE | Initial Experiments on Deriving a Complete HOL Simplification Set. | Cezary Kaliszyk, Thomas Sternagel |
| 2012 | CADE | KBCV - Knuth-Bendix Completion Visualizer. | Thomas Sternagel, Harald Zankl |