scientific article
From MaRDI portal
Publication:3680283
zbMath0565.68050MaRDI QIDQ3680283
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
powerdomainspredicate transformer semanticsnext state set semanticsprobabilistic algebraprobabilistic non determinism
Related Items (2)
Topological cones: functional analysis in a \(T_{0}\)-setting ⋮ Semantics of non-deterministic possibility computation
This page was built for publication: