<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>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].</p></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].

Representation Theorem for Stacks

Pubblicato online: 26 apr 2012

Pagine: 241 - 250

DOI: https://doi.org/10.2478/v10037-011-0033-2

This content is open access.