Grzegorz Bancerek

Available identifiers

Publication	Date of Publication	Type
System description: XSL-based translator of Mizar to {\LaTeX}	2018-10-18	Paper
The role of the Mizar mathematical library for interactive proof development in Mizar	2018-08-21	Paper
On multiset ordering	2017-01-06	Paper
Term context	2017-01-06	Paper
Mizar: State-of-the-art and Beyond	2015-11-20	Paper
Algebraic approach to algorithmic logic	2015-05-12	Paper
Abstract reduction systems and idea of Knuth-Bendix completion algorithm	2014-11-05	Paper
Presenting and explaining Mizar	2013-12-20	Paper
Veblen hierarchy	2013-12-03	Paper
Representation theorem for stacks	2013-12-03	Paper
Sorting by exchanging	2013-12-03	Paper
Valuation theory. I.	2013-12-03	Paper
Semantics of MML query -- ordering	2013-10-08	Paper
Free term algebras	2013-10-08	Paper
Analysis of algorithms: an example of a sort algorithm	2013-10-08	Paper
Program algebra over an algebra	2013-10-08	Paper
Semantics of MML query	2013-10-08	Paper
On the Structure of Mizar Types	2013-06-06	Paper
Information Retrieval and Rendering with MML Query	2007-09-05	Paper
Mathematical Knowledge Management	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4413887	2003-07-21	Paper
A compendium of continuous lattices in MIZAR	2003-04-27	Paper
Development of the theory of continuous lattices in MIZAR	2001-10-21	Paper

This page was built for person: Grzegorz Bancerek