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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Programming and mathematical method (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 24-August 5, 1990)
Redacteuren	M. Broy
Pagina's	11-17
Status	Gepubliceerd - 1992

Publicatie series

Naam	NATO ASI Series, Series F: Computer and Systems Sciences
Volume	88
ISSN van geprinte versie	1387-6694

Citeer dit

@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). uitgave / M. Broy. 1992. blz. 11-17 (NATO ASI Series, Series F: Computer and Systems Sciences; Vol. 88).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -