An Outline of PC Mizar (1993)

Cached

Download Links

by Michal Muzalewski
Citations:6 - 0 self

Documents Related by Co-Citation

7 K.: A κ-denotational semantics for Map Theory – C Berline, Grue - 1997
20 H.: Computer assisted reasoning with Mizar – A Trybulec, Blair - 1985
2 An Interactive Proof System for Map Theory – Sebastian C. Skalberg, Gertrud Bauer, Stefan Berghofer, Gerwin Klein, David Von Oheimb, Prensa Nieto, Markus Wenzel, Thomas Marthedal Rasmussen, Jakob Grue Simonsen, Peter Mller Neergaard, Nally Anders Bystrup, Dina Friis, Jarl Friis, Signe Reuss, Christian Stefansen, Rolf Dyre Svegstrup - 2002
3 A gentle introduction to MathML – R Miner, J Schaeffer - 2001
13 Stable Map Theory – Klaus Grue - 1996
3 Map theory with classical maps – K Grue - 2002
103 RIPEMD-160: A Strengthened Version of RIPEMD – Hans Dobbertin, Antoon Bosselaers, Bart Preneel - 1996
114 OMDoc an open markup format for mathematical documents (version 1.2 – Michael Kohlhase - 2006
400 The TEXbook – Donald E Knuth - 1986
7 Three Tactic Theorem Proving – Don Syme - 1999
81 Isar -- a Generic Interpretative Approach to Readable Formal Proof Documents – Markus Wenzel - 1999
10 Some features of the Mizar language. Presented at a workshop in – A Trybulec - 1993
3 Mizar: An impression. Unpublished paper – F Wiedijk - 1999
12 Predicate calculus and program semantics. Texts and monographs in computer science – Edsger W Dijkstra, Carel S Scholten - 1990
1 Map Theory” et Antifondation. Volume 79 – T Vallée - 2003
1 Mathematics and Computation. 7 edn. Volume 1–3 – K Grue - 2001
1 A logiweb base page – K Grue - 2006
1 The logiweb sequent calculus – K Grue
1 Introduction to Mathematical Logic. 3. edn – E Mendelson - 1987