A Model of Mizar Concepts - Unification
Open Access
|Jan 2011Abstract
The aim of this paper is to develop a formal theory of Mizar linguistic concepts following the ideas from [6] and [7]. The theory presented is an abstraction from the existing implementation of the Mizar system and is devoted to the formalization of Mizar expressions. The concepts formalized here are: standarized constructor signature, arity-rich signatures, and the unification of Mizar expressions.
Language: English
Page range: 65 - 75
Published on: Jan 5, 2011
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
© 2011 Grzegorz Bancerek, published by University of Białystok
This work is licensed under the Creative Commons License.