Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting

von Lochmann, Alexander
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)

Certifying Proofs in the First-Order Theory of Rewriting

von Mitterwallner, Fabian
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)