Discussing Graph Theory with a Computer III, Man-machine Theorem Proving
Dragoš M. Cvetković, Irena Pevac (1983)
Publications de l'Institut Mathématique
Similarity:
Dragoš M. Cvetković, Irena Pevac (1983)
Publications de l'Institut Mathématique
Similarity:
Don R. Lick (1976)
Colloquium Mathematicae
Similarity:
D. M. Cvetković (1975)
Matematički Vesnik
Similarity:
J. Nieminen (1975)
Applicationes Mathematicae
Similarity:
Friedrich, Carsten, Eades, Peter (2002)
Journal of Graph Algorithms and Applications
Similarity:
Terry A. Mckee (2010)
Discussiones Mathematicae Graph Theory
Similarity:
A graph is ptolemaic if and only if it is both chordal and distance-hereditary. Thus, a ptolemaic graph G has two kinds of intersection graph representations: one from being chordal, and the other from being distance-hereditary. The first of these, called a clique tree representation, is easily generated from the clique graph of G (the intersection graph of the maximal complete subgraphs of G). The second intersection graph representation can also be generated from the clique graph,...
Marián Sudolský (1978)
Mathematica Slovaca
Similarity: