Well-foundedness and the transitive closure

A.J.M. Gasteren, van; E.W. Dijkstra

Well-foundedness and the transitive closure

A.J.M. Gasteren, van, E.W. Dijkstra

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

Original language	English
Title of host publication	Programming and mathematical method (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 24-August 5, 1990)
Editors	M. Broy
Pages	11-17
Publication status	Published - 1992

Publication series

Name	NATO ASI Series, Series F: Computer and Systems Sciences
Volume	88
ISSN (Print)	1387-6694

Cite this

@inproceedings{1804481ab6204fe6a82708bc6546463b,

title = "Well-foundedness and the transitive closure",

author = "{Gasteren, van}, A.J.M. and E.W. Dijkstra",

year = "1992",

language = "English",

isbn = "3-540-55558-7",

series = "NATO ASI Series, Series F: Computer and Systems Sciences",

pages = "11--17",

editor = "M. Broy",

booktitle = "Programming and mathematical method (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 24-August 5, 1990)",

}

Well-foundedness and the transitive closure. / Gasteren, van, A.J.M.; Dijkstra, E.W.
Programming and mathematical method (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 24-August 5, 1990). ed. / M. Broy. 1992. p. 11-17 (NATO ASI Series, Series F: Computer and Systems Sciences; Vol. 88).

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

TY - GEN

T1 - Well-foundedness and the transitive closure

AU - Gasteren, van, A.J.M.

AU - Dijkstra, E.W.

PY - 1992

Y1 - 1992

M3 - Conference contribution

SN - 3-540-55558-7

T3 - NATO ASI Series, Series F: Computer and Systems Sciences

SP - 11

EP - 17

BT - Programming and mathematical method (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 24-August 5, 1990)

A2 - Broy, M.

ER -