scientific article

zbMath1273.03049MaRDI QIDQ2852358

Ewen Denney, Konstantinos Tourlas, A. John Power

Publication date: 8 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Related Items

Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation ⋮ Tactics for hierarchical proof ⋮ Automated theorem provers: a practical tool for the working mathematician? ⋮ Towards Formal Proof Script Refactoring ⋮ A Tactic Language for Hiproofs

This page was built for publication: