Mizar Analysis of Algorithms: Algorithms over Integers
Bancerek, Grzegorz
Towards the Construction of a Model of Mizar Concepts
Bancerek, Grzegorz
Analysis of Algorithms: An Example of a Sort Algorithm
Bancerek, Grzegorz
Semantics of MML Query - Ordering
Bancerek, Grzegorz
Free Term Algebras
Bancerek, Grzegorz
Term Context
Bancerek, Grzegorz
Sorting by Exchanging
Bancerek, Grzegorz
A Model of Mizar Concepts - Unification
Bancerek, Grzegorz
Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm
Bancerek, Grzegorz
Mizar Analysis of Algorithms: Preliminaries
Bancerek, Grzegorz
Program Algebra over an Algebra
Bancerek, Grzegorz
Valuation Theory. Part I
Bancerek, Grzegorz, Kobayashi, Hidetsune, Korniłowicz, Artur