Publication:4195918
From MaRDI portal
zbMath0408.68017MaRDI QIDQ4195918
Publication date: 1976
68Q55: Semantics in the theory of computing
68N01: General topics in the theory of software
18A99: General theory of categories and functors
Related Items
Nondeterminism and infinite computations in constraint programming, The equivalence in the DCP model, Combining angels, demons and miracles in program specifications, Infinite hypergraphs. I: Basic properties