Towards the Construction of a Model of Mizar Concepts

Towards the Construction of a Model of Mizar Concepts

Bibliographic Details
Main Author:	Bancerek Grzegorz
Format:	Article
Language:	English
Published:	Sciendo 2008-01-01
Series:	Formalized Mathematics
Online Access:	https://doi.org/10.2478/v10037-008-0027-x

Similar Items

A Model of Mizar Concepts - Unification
by: Bancerek Grzegorz
Published: (2010-01-01)

Mizar Analysis of Algorithms: Preliminaries
by: Bancerek Grzegorz
Published: (2007-01-01)

Mizar Analysis of Algorithms: Algorithms over Integers
by: Bancerek Grzegorz
Published: (2008-01-01)

Mizar in a Nutshell
by: Adam Grabowski, et al.
Published: (2010-01-01)

Unification of Graphs and Relations in Mizar
by: Koch Sebastian
Published: (2020-07-01)

Basic first-order model theory in Mizar
by: Marco Bright Caminati
Published: (2010-01-01)

On algebraic hierarchies in mathematical repository of Mizar
by: Adam Grabowski, et al.
Published: (2016-10-01)

Formalization of the MRDP Theorem in the Mizar System
by: Pąk Karol
Published: (2019-07-01)

Tarski's geometry modelled in Mizar computerized proof assistant
by: Adam Grabowski
Published: (2016-10-01)

Implementation of the Composition-nominative Approach to Program Formalization in Mizar
by: Ievgen Ivanov, et al.
Published: (2018-05-01)

Gradual computerisation and verification of mathematics : MathLang's path into Mizar
by: Retel, Krzysztof
Published: (2009)

Analysis of Algorithms: An Example of a Sort Algorithm
by: Bancerek Grzegorz
Published: (2013-01-01)

Epsilon Numbers and Cantor Normal Form
by: Bancerek Grzegorz
Published: (2009-01-01)

Semantics of MML Query
by: Bancerek Grzegorz
Published: (2012-12-01)

Representation Theorem for Stacks
by: Bancerek Grzegorz
Published: (2011-01-01)

Free Term Algebras
by: Bancerek Grzegorz
Published: (2012-12-01)

Veblen Hierarchy
by: Bancerek Grzegorz
Published: (2011-01-01)

Sorting by Exchanging
by: Bancerek Grzegorz
Published: (2011-01-01)

Program Algebra over an Algebra
by: Bancerek Grzegorz
Published: (2012-12-01)

Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm
by: Bancerek Grzegorz
Published: (2014-03-01)

Term Context
by: Bancerek Grzegorz
Published: (2014-06-01)

Semantics of MML Query - Ordering
by: Bancerek Grzegorz
Published: (2013-01-01)

Algebraic Approach to Algorithmic Logic
by: Bancerek Grzegorz
Published: (2014-09-01)

On Multiset Ordering
by: Bancerek Grzegorz
Published: (2016-06-01)

Introduction to Matroids
by: Bancerek Grzegorz, et al.
Published: (2008-01-01)

Valuation Theory. Part I
by: Bancerek Grzegorz, et al.
Published: (2012-01-01)

Anthropomimetic Robots: Concept, Construction and Modelling
by: Alan Diamond, et al.
Published: (2012-11-01)

Twórczość piśmiennicza siostry Barbary Żulińskiej CR
by: Dominika Katarzyna Bańcerek
Published: (2016-07-01)

Ojczyznę każdy nosi w swym sercu. Wychowanie patriotyczne w koncepcji siostry Barbary Żulińskiej
by: Dominika Katarzyna Bańcerek
Published: (2017-03-01)

Building information modeling concept in bridge construction
by: Shestakova Ekaterina, et al.
Published: (2020-01-01)

The Construction and Verification of Self-concept Model of Taiwanese
by: Li-Jung Yu, et al.
Published: (2012)

A constructively critical review of change and innovation-related concepts: towards conceptual and operational clarity
by: Potocnik, K., et al.
Published: (2019)

Constructing a Concept of Number
by: Karenleigh A. Overmann
Published: (2018-09-01)

Toward construction of a modular model of distributed intelligence
by: Yu. L. Slovokhotov, et al.
Published: (2018-10-01)

Key-Concept Extraction for Concept Map Construction
by: Jian-Ren Chen, et al.
Published: (2014)

Towards a concept on poverty
by: Julián Augusto Casas Herrera, et al.
Published: (2015-01-01)

Constructing Models for Systems Resilience: Challenges, Concepts, and Formal Methods
by: Azad M. Madni, et al.
Published: (2020-01-01)

Constructing the Information Model of HL7 Based on the Concept Map
by: Pai-ching Su, et al.
Published: (2007)

Constructing Fuzzy Regression Models by Aggregating the Concepts of Randomness and Fuzziness
by: Yi-JuLai, et al.
Published: (2013)

With ANP Method to Construct An Evaluation Model of Wines in Product Concept
by: Wang Shun Ching, et al.
Published: (2015)