À propos de cet article
Publié en ligne: 09 juin 2008
Pages: 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.