An extension of the dual complexity space and an application to computer science

DOI10.1016/j.topol.2009.02.009zbMath1198.68153OpenAlexW2155368129MaRDI QIDQ1032953

Oscar Valero, Michel Schellekens, Jesús Rodríguez-López

Publication date: 5 November 2009

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.topol.2009.02.009

zbMATH Keywords

interval analysisextended quasi-metricdual complexity spaceordered normed monoidright \(K\)-sequentially complete

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Complete metric spaces (54E50) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05)

Related Items (8)

A characterization of Smyth complete quasi-metric spaces via Caristi's fixed point theorem ⋮ The uniform boundedness theorem in asymmetric normed spaces ⋮ Some properties of bornological convergences ⋮ The Isbell-hull of a di-space ⋮ More about complements of quasi-uniformities ⋮ New results on the mathematical foundations of asymptotic complexity analysis of algorithms via complexity spaces ⋮ New perspectives of granular computing in relation geometry induced by pairings ⋮ Characterizations of metrizable topological vector spaces and their asymmetric generalizations in terms of fuzzy (quasi-)norms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Domain-theoretic solution of differential equations (scalar fields)
• C-complete quasi-uniform spaces
• Induction and recursion on the partial real line with applications to Real PCF
• Spaces of continuous functions and quasi-uniform convergence
• PCF extended with real numbers
• A quasi-metric topology compatible with inclusion monotonicity on interval space
• Quasi-metric properties of complexity spaces
• Domain theory and differential calculus (functions of one variable)
• Extendible spaces
• Duality and quasi-normability for complexity spaces
• Automata, Languages and Programming
• Foundations of Software Science and Computational Structures

This page was built for publication: An extension of the dual complexity space and an application to computer science