Über diesen Artikel
Online veröffentlicht: 09. Juni 2008
Seitenbereich: 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.