A problem on bichrome 6-graphs

A.J.M. Gasteren, van

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Abstract

No abstract.

Original language	English
Title of host publication	Formal development of programs and proofs
Editors	E.W. Dijkstra
Place of Publication	Reading MA
Publisher	Addison-Wesley
Pages	55-57
ISBN (Print)	0-201-17237-2
Publication status	Published - 1990

@inbook{cb58848f025047679fc9661d8bc5a8e6,

title = "A problem on bichrome 6-graphs",

abstract = "No abstract.",

author = "{Gasteren, van}, A.J.M.",

year = "1990",

language = "English",

isbn = "0-201-17237-2",

pages = "55--57",

editor = "E.W. Dijkstra",

booktitle = "Formal development of programs and proofs",

publisher = "Addison-Wesley",

}