Observing nondeterministic data types

Authors:
T. Nipkow
Affiliations:
Massachusetts Institute of Technology, Cambridge, MA
Venue:
Lecture notes in Computer Science on Recent trends in data type specification
Year:
1988

Citing 0
Cited 3

A complete calculus for the multialgebraic and functional semantics of nondeterminism

ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic approaches to nondeterminism—an overview

ACM Computing Surveys (CSUR)
Compositional Homomorphisms of Relational Structures

FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract