A New and Formalized Proof of Abstract Completion

DOI10.1007/978-3-319-08970-6_19zbMath1416.68164OpenAlexW1588278029MaRDI QIDQ2879259

Aart Middeldorp, Nao Hirokawa, Christian Sternagel

Publication date: 8 September 2014

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08970-6_19

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

Uses Software

• Isabelle
• Isabelle/HOL
• HOL

This page was built for publication: A New and Formalized Proof of Abstract Completion