Fingerprint
Dive into the research topics of 'On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic
M. Bezem, R.D.A. Hendriks
Research output: Contribution to Journal › Article › Academic › peer-review
257
Downloads
(Pure)