Introduction to Matroids
Bancerek, Grzegorz, Shidama, Yasunari
Semantics of MML Query - Ordering
Bancerek, Grzegorz
Valuation Theory. Part I
Bancerek, Grzegorz, Kobayashi, Hidetsune, Korniłowicz, Artur
Representation Theorem for Stacks
Bancerek, Grzegorz
Veblen Hierarchy
Bancerek, Grzegorz
Algebraic Approach to Algorithmic Logic
Bancerek, Grzegorz
Program Algebra over an Algebra
Bancerek, Grzegorz
Analysis of Algorithms: An Example of a Sort Algorithm
Bancerek, Grzegorz
Towards the Construction of a Model of Mizar Concepts
Bancerek, Grzegorz
A Model of Mizar Concepts - Unification
Bancerek, Grzegorz
On Multiset Ordering
Bancerek, Grzegorz
Sorting by Exchanging
Bancerek, Grzegorz