The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Broderick Arneson, Piotr Rudnicki (2006)
Formalized Mathematics
Similarity:
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.
Bohdan Zelinka (1986)
Czechoslovak Mathematical Journal
Similarity:
Henning, Michael A., Yeo, Anders (2007)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Jozef Širáň (1982)
Mathematica Slovaca
Similarity: