scientific article
From MaRDI portal
Publication:3975029
zbMath0792.68103MaRDI QIDQ3975029
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Topological lattices (06B30)
Related Items (8)
\(s_2\)-quasialgebraic posets ⋮ A note on continuous partially ordered sets ⋮ Discrete random variables over domains ⋮ Choice-free dualities for domains ⋮ Full abstraction and recursion ⋮ A simple language supporting angelic nondeterminism and parallel composition ⋮ Topology, domain theory and theoretical computer science ⋮ Closure spaces and completions of posets
This page was built for publication:
