Über diesen Artikel
Online veröffentlicht: 20. März 2009
Seitenbereich: 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