 | 2011 |
|---|
| 15 |       | Grzegorz Bancerek:
Veblen Hierarchy.
Formalized Mathematics 19(2): 83-92 (2011) |
| 14 | | Grzegorz Bancerek:
Sorting by Exchanging.
Formalized Mathematics 19(2): 93-102 (2011) |
| 13 | | Grzegorz Bancerek:
Representation Theorem for Stacks.
Formalized Mathematics 19(4): 241-250 (2011) |
| 2010 |
|---|
| 12 | | Grzegorz Bancerek:
A Model of Mizar Concepts - Unification.
Formalized Mathematics 18(1-4): 65-75 (2010) |
| 2009 |
|---|
| 11 | | Grzegorz Bancerek:
Epsilon Numbers and Cantor Normal Form.
Formalized Mathematics 17(1-4): 249-256 (2009) |
| 2008 |
|---|
| 10 | | Grzegorz Bancerek:
Mizar Analysis of Algorithms: Algorithms over Integers.
Formalized Mathematics 16(1-4): 177-194 (2008) |
| 9 | | Grzegorz Bancerek:
Towards the Construction of a Model of Mizar Concepts.
Formalized Mathematics 16(1-4): 207-230 (2008) |
| 8 | | Grzegorz Bancerek,
Yasunari Shidama:
Introduction to Matroids.
Formalized Mathematics 16(1-4): 325-332 (2008) |
| 2007 |
|---|
| 7 | | Josef Urban,
Grzegorz Bancerek:
Presenting and Explaining Mizar.
Electr. Notes Theor. Comput. Sci. 174(2): 63-74 (2007) |
| 2006 |
|---|
| 6 | | Grzegorz Bancerek:
Information Retrieval and Rendering with.
MKM 2006: 266-279 |
| 2004 |
|---|
| 5 |  | Andrea Asperti,
Grzegorz Bancerek,
Andrzej Trybulec:
Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
Springer 2004 |
| 4 | | Grzegorz Bancerek,
Josef Urban:
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles.
MKM 2004: 44-57 |
| 2003 |
|---|
| 3 | | Grzegorz Bancerek,
Piotr Rudnicki:
Information Retrieval in MML.
MKM 2003: 119-132 |
| 2 | | Grzegorz Bancerek:
On the structure of Mizar types.
Electr. Notes Theor. Comput. Sci. 85(7): 69-85 (2003) |
| 2002 |
|---|
| 1 | | Grzegorz Bancerek,
Piotr Rudnicki:
A Compendium of Continuous Lattices in MIZAR.
J. Autom. Reasoning 29(3-4): 189-224 (2002) |
Data released under the ODC-BY 1.0 license — See also our legal information page