Well-foundedness and the transitive closure

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProgramming and mathematical method (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 24-August 5, 1990)
EditorsM. Broy
Publication statusPublished - 1992

Publication series

NameNATO ASI Series, Series F: Computer and Systems Sciences
ISSN (Print)1387-6694

Cite this