O artykule
Data publikacji: 09 cze 2008
Zakres stron: 79 - 92
DOI: https://doi.org/10.2478/v10037-006-0010-3
This content is open access.
We are formalizing [9, pp. 81-84] where chordal graphs are defined and their basic characterization is given. This formalization is a part of the M.Sc. work of the first author under supervision of the second author.