Introduction to Matroids
Bancerek, Grzegorz, Shidama, Yasunari
Semantics of MML Query - Ordering
Bancerek, Grzegorz
Representation Theorem for Stacks
Bancerek, Grzegorz
Veblen Hierarchy
Bancerek, Grzegorz
A Model of Mizar Concepts - Unification
Bancerek, Grzegorz
On Multiset Ordering
Bancerek, Grzegorz
Sorting by Exchanging
Bancerek, Grzegorz
Mizar Analysis of Algorithms: Algorithms over Integers
Bancerek, Grzegorz
Mizar Analysis of Algorithms: Preliminaries
Bancerek, Grzegorz
Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm
Bancerek, Grzegorz
Free Term Algebras
Bancerek, Grzegorz
Term Context
Bancerek, Grzegorz