Login / Signup

A Model of Nondeterminism: Indexed Sets and Their Equivalence.

Hans Bekic
Published in: Programming Languages and Their Definition (1984)
Keyphrases