Published Online: Mar 20, 2009
Page range: 325 - 332
DOI: https://doi.org/10.2478/v10037-008-0040-0
This content is open access.
The paper includes elements of the theory of matroids [23]. The formalization is done according to [12].
MML identifier: MATROID0, version: 7.9.03 4.108.1028