Abstract
In the paper the concept of stacks is formalized. As the main result the Theorem of Representation for Stacks is given. Formalization is done according to [13].
In the paper the concept of stacks is formalized. As the main result the Theorem of Representation for Stacks is given. Formalization is done according to [13].
© 2012 Grzegorz Bancerek, published by University of Białystok
This work is licensed under the Creative Commons License.