Canonicity1 1This research was supported in part by the Israel Science Foundation (grant no. 254/01).

DOI10.1016/S1571-0661(04)80657-1zbMath1261.68098OpenAlexW2040694005MaRDI QIDQ4916226

Nachum Dershowitz

Publication date: 19 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80657-1

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (2)

Structures for abstract rewriting ⋮ Canonicity!

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Orderings for term-rewriting systems
• Towards a foundation of completion procedures as semidecision procedures
• Theorem-proving with resolution and superposition
• Abstract canonical presentations
• Equational inference, canonical proofs, and proof orderings

This page was built for publication: Canonicity1 1This research was supported in part by the Israel Science Foundation (grant no. 254/01).