Completion Is an Instance of Abstract Canonical System Inference

DOI10.1007/11780274_26zbMath1132.03314OpenAlexW1593462533MaRDI QIDQ5757934

Claude Kirchner, Guillaume Burel

Publication date: 7 September 2007

Published in: Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00000775v2/file/bk4jag-final.pdf

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Related Items (4)

Canonicity! ⋮ Canonical Ground Horn Theories ⋮ Regaining cut admissibility in deduction modulo using abstract completion ⋮ Abstract canonical presentations

This page was built for publication: Completion Is an Instance of Abstract Canonical System Inference