Abstract
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.
Language: English
Page range: 79 - 92
Published on: Jun 9, 2008
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
© 2008 Broderick Arneson, Piotr Rudnicki, published by University of Białystok
This work is licensed under the Creative Commons License.