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
Semantics of MML Query
Bancerek, Grzegorz
Epsilon Numbers and Cantor Normal Form
Bancerek, Grzegorz