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. © 2006 University of Bia lystok.
Cite
CITATION STYLE
APA
Arneson, B., & Rudnicki, P. (2006). Chordal graphs. Formalized Mathematics, 14(3), 79–92. https://doi.org/10.2478/v10037-006-0010-3
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free