4 citations · 18 across the 15 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 1 cited
Certified Ordered Completion
Christian Sternagel, Sarah Winkler
On the one hand, ordered completion is a fundamental technique in equational theorem proving that is employed by automated tools. On the other hand, their complexity makes such too…
cs.LO2018
Abstract Completion, Formalized
Nao Hirokawa, Aart Middeldorp, Christian Sternagel +1
Completion is one of the most studied techniques in term rewriting and fundamental to automated reasoning with equalities. In this paper we present new correctness proofs of abstra…