Paper Info
Title
Representation Theorem For Stacks
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].
Year
DOI
Venue
2011
10.2478/v10037-011-0033-2
FORMALIZED MATHEMATICS
Field
DocType
Volume
Discrete mathematics,Empty set,Natural number,Finite sequence,Unary operation,Stack (abstract data type),Existential quantification,Representation theorem,Predicate (grammar),Mathematics
Journal
19
Issue
ISSN
Citations 
4
1898-9934
1
PageRank 
References 
Authors
0.47
0
1
Name
Order
Citations
PageRank
Grzegorz Bancerek19619.74