Concepedia

Publication | Closed Access

Relational Reasoning about Functions and Nondeterminism

76

Citations

50

References

1999

Year

Abstract

Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Dissertation Series publications. Copies may be obtained by contacting: BRICS

References

YearCitations

Page 1