Abstract
In a recent manuscript—in the literal sense of the word—: “Some properties of the relative converse” (March 1995), Tony Hoare plays with tetrahedra of which the edges may be directed. (As by-product of his considerations he finds, for instance, that “any non-cyclic ascription of directions to any five of the edges can be non-cyclically extended to the sixth edge.”) Here is a little bit of related theory.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dijkstra, E.W. (1997). Complete DAGs (EWD1204). In: Broy, M., Schieder, B. (eds) Mathematical Methods in Program Development. NATO ASI Series, vol 158. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60858-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-60858-2_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-64588-4
Online ISBN: 978-3-642-60858-2
eBook Packages: Springer Book Archive