scientific article
From MaRDI portal
Publication:2754138
zbMath0973.68131MaRDI QIDQ2754138
Publication date: 9 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (19)
On the domain of formal balls of the Sorgenfrey quasi-metric space ⋮ Domain-complete and LCS-complete spaces ⋮ Measuring the probabilistic powerdomain ⋮ A fixpoint theory for non-monotonic parallelism ⋮ Domain Theory and the Causal Structure of Space-Time ⋮ Sequential real number computation and recursive relations ⋮ Ideal models of spaces. ⋮ The regular spaces with countably based models. ⋮ A domain of spacetime intervals in general relativity ⋮ Unnamed Item ⋮ Unique Fixed Points in Domain Theory ⋮ Multimodal Separation Logic for Reasoning About Operational Semantics ⋮ Sequential Real Number Computation and Recursive Relations ⋮ Complexity spaces as quantitative domains of computation ⋮ The space of maximal elements in a compact domain ⋮ A quasi-metric computational model from modular functions on monoids ⋮ An extension of the dual complexity space and an application to computer science ⋮ The constructive maximal point space and partial metrizability ⋮ Entropy as a fixed point
This page was built for publication: