Published Online: Jun 09, 2008
Page range: 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.