On computational environments of topological spaces
From MaRDI portal
Publication:949611
DOI10.1016/j.tcs.2008.06.022zbMath1156.54016OpenAlexW2069955742MaRDI QIDQ949611
Publication date: 21 October 2008
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2008.06.022
Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Semantics in the theory of computing (68Q55) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Continuous lattices and posets, applications (06B35)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Domain theory and integration
- Total objects of domains
- A computational model for metric spaces
- Computation on metric spaces via domain theory
- Ideal models of spaces.
- The regular spaces with countably based models.
- On the spaces of the maximal points
- Convex power domain and Vietoris space
- Order environments of topological spaces
- Topological games in domain theory
- Dynamical systems, measures, and fractals via domain theory
- Spaces of maximal points
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- Continuous Lattices and Domains
- The space of maximal elements in a compact domain
- Domain-representable spaces
This page was built for publication: On computational environments of topological spaces