The Smyth Completion
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1497801
- Completeness Results for Lambek Syntactic Calculus
- Semantics and completeness for schematic logic
- On denotational completeness
- The complexity space of partial functions: a connection between complexity analysis and denotational semantics
- Smyth completion as bicompletion
- scientific article; zbMATH DE number 4049024
- scientific article; zbMATH DE number 1567840
- Completeness in Proof-Theoretic Semantics
- The proof complexity of SMT solvers
Cites work
- C-complete quasi-uniform spaces
- Complete quasi-pseudo-metric spaces
- Completeness of Quasi-Uniform and Syntopological Spaces
- scientific article; zbMATH DE number 4212991 (Why is no real title available?)
- scientific article; zbMATH DE number 3909745 (Why is no real title available?)
- scientific article; zbMATH DE number 4094358 (Why is no real title available?)
- scientific article; zbMATH DE number 107774 (Why is no real title available?)
- scientific article; zbMATH DE number 3473265 (Why is no real title available?)
- scientific article; zbMATH DE number 1257185 (Why is no real title available?)
- scientific article; zbMATH DE number 3232606 (Why is no real title available?)
- Weighted approximation for algebras and modules of continuous functions. Real and self-adjoint complex cases
Cited in
(62)- \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis
- Continuous operators on asymmetric normed spaces
- Smyth completion as bicompletion
- Liminf convergence in \(\Omega\)-categories
- Applications of utility functions defined on quasi-metric spaces
- A characterization of partial metrizability: Domains are quantifiable.
- Fixed point theorems for fuzzy mappings in quasi-metric spaces
- The correspondence between partial metrics and semivaluations
- Weakly contractive multivalued maps and w-distances on complete quasi-metric spaces
- A unique common fixed-point theorem for two maps under - contractive condition in partial metric spaces
- Semi-Lipschitz functions and best approximation in quasi-metric spaces
- New perspectives of granular computing in relation geometry induced by pairings
- Complexity analysis via approach spaces
- New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs
- A Nemytskii-Edelstein type fixed point theorem for partial metric spaces
- On Matthews' relationship between quasi-metrics and partial metrics: an aggregation perspective
- Fixed point theorems in generalized metric spaces with applications to computer science
- On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics
- On fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms
- A fixed point theorem for preordered complete fuzzy quasi-metric spaces and an application
- Compactness in asymmetric normed spaces
- Bicompleting weightable quasi-metric spaces and partial metric spaces
- A new contribution to the fixed point theory in partial quasi-metric spaces and its applications to asymptotic complexity analysis of algorithms
- Characterizations of quasi-metric and \(G\)-metric completeness involving \(w\)-distances and fixed points
- The supremum asymmetric norm on sequence algebras: a general framework to measure complexity distances
- The complexity space of a valued linearly ordered set
- On fixed point theory in topological posets, extended quasi-metric spaces and an application to asymptotic complexity of algorithms
- A characterization of Smyth complete quasi-metric spaces via Caristi's fixed point theorem
- The complexity space of partial functions: a connection between complexity analysis and denotational semantics
- An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words
- A quantitative computational model for complete partial metric spaces via formal balls
- scientific article; zbMATH DE number 1258313 (Why is no real title available?)
- Fixed point theory for cyclic generalized weak \(\phi\)-contraction on partial metric spaces
- New fixed point results in partial quasi-metric spaces
- On the triangle equality
- New results on the mathematical foundations of asymptotic complexity analysis of algorithms via complexity spaces
- Weightable quasi-metric semigroups and semilattices
- On the characterization of tripled partial metrics and tripled quasi-metrics
- A characterisation of weightable quasi-metric generating functions
- On Fixed Point Theory in Partially Ordered (Quasi-)metric Spaces and an Application to Complexity Analysis of Algorithms
- Weightable quasi-metrics related to fuzzy sets
- Qualitative versus quantitative fixed point techniques in computer science
- Complexity spaces as quantitative domains of computation
- \(Q\)-functions on quasimetric spaces and fixed points for multivalued maps
- Fixed points of contractive maps on dcpo's
- Utilizing weak \(\psi\)-\(\varphi\) contraction on fuzzy metric spaces
- Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation
- The complexity probabilistic quasi-metric space
- Properties of the convolution operation in the complexity space and its dual
- Applications and common coupled fixed point results in ordered partial metric spaces
- Algebraic properties of generalized convolutions, and their quasi-metric properties in the complexity spaces
- The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science
- Quasi-metrics and monotone normality
- The average running time of an algorithm as a midpoint between fuzzy sets
- The Goldstine theorem for asymmetric normed linear spaces
- The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words
- Closed graph and open mapping theorems for normed cones
- Applications of the complexity space to the general probabilistic divide and conquer algorithms
- A Kirk type characterization of completeness for partial metric spaces
- The Hausdorff fuzzy quasi-metric
- Characterizations of metrizable topological vector spaces and their asymmetric generalizations in terms of fuzzy (quasi-)norms
- Quotient normed cones
This page was built for publication: The Smyth Completion
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222778)
