Grzegorz Bancerek

28 papers C 2Journal 20Unranked 5
YearRankTypeTitle / Venue / Authors
2018 C conf
System Description: XSL-Based Translator of Mizar to LaTeX.
CICM
Grzegorz Bancerek, Adam Naumowicz, Josef Urban
2018 J jnl
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar.
J. Autom. Reason.
Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak
2016 J jnl
On Multiset Ordering.
Formaliz. Math.
Grzegorz Bancerek
2015 C conf
Mizar: State-of-the-art and Beyond.
CICM
Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, Josef Urban
2014 J jnl
Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm.
Formaliz. Math.
Grzegorz Bancerek
2014 J jnl
Algebraic Approach to Algorithmic Logic.
Formaliz. Math.
Grzegorz Bancerek
2014 J jnl
Term Context.
Formaliz. Math.
Grzegorz Bancerek
2013 J jnl
Analysis of Algorithms: An Example of a Sort Algorithm.
Formaliz. Math.
Grzegorz Bancerek
2013 J jnl
Semantics of MML Query - Ordering.
Formaliz. Math.
Grzegorz Bancerek
2012 J jnl
Free Term Algebras.
Formaliz. Math.
Grzegorz Bancerek
2012 J jnl
Program Algebra over an Algebra.
Formaliz. Math.
Grzegorz Bancerek
2012 J jnl
Semantics of MML Query.
Formaliz. Math.
Grzegorz Bancerek
2012 J jnl
Valuation Theory. Part I.
Formaliz. Math.
Grzegorz Bancerek, Hidetsune Kobayashi, Artur Kornilowicz
2011 J jnl
Representation Theorem for Stacks.
Formaliz. Math.
Grzegorz Bancerek
2011 J jnl
Sorting by Exchanging.
Formaliz. Math.
Grzegorz Bancerek
2011 J jnl
Veblen Hierarchy.
Formaliz. Math.
Grzegorz Bancerek
2010 J jnl
A Model of Mizar Concepts - Unification.
Formaliz. Math.
Grzegorz Bancerek
2009 J jnl
Epsilon Numbers and Cantor Normal Form.
Formaliz. Math.
Grzegorz Bancerek
2008 J jnl
Introduction to Matroids.
Formaliz. Math.
Grzegorz Bancerek, Yasunari Shidama
2008 J jnl
Mizar Analysis of Algorithms: Algorithms over Integers.
Formaliz. Math.
Grzegorz Bancerek
2008 J jnl
Towards the Construction of a Model of Mizar Concepts.
Formaliz. Math.
Grzegorz Bancerek
2006 — conf
Information Retrieval and Rendering with.
MKM
Grzegorz Bancerek
2006 — conf
Presenting and Explaining Mizar.
UITP@FLoC
Josef Urban, Grzegorz Bancerek
2004 — conf
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles.
MKM
Grzegorz Bancerek, Josef Urban
2004 — ed.
Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
MKM
Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec
2003 — conf
Information Retrieval in MML.
MKM
Grzegorz Bancerek, Piotr Rudnicki
2003 — conf
On the structure of Mizar types.
Mathematics, Logic and Computation @ ICALP
Grzegorz Bancerek
2002 J jnl
A Compendium of Continuous Lattices in MIZAR.
J. Autom. Reason.
Grzegorz Bancerek, Piotr Rudnicki