À propos de cet article
Publié en ligne: 20 mars 2009
Pages: 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