Zen and the art of formalisation
From MaRDI portal
Publication:3094169
DOI10.1017/S0960129511000065zbMath1276.03002MaRDI QIDQ3094169
Publication date: 21 October 2011
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita ⋮ A formalization of multi-tape Turing machines
This page was built for publication: Zen and the art of formalisation