On the structure of the space of complexity partial functions

DOI10.1080/00207160701210117zbMath1146.68376OpenAlexW2135781342MaRDI QIDQ5459746

Oscar Valero, Salvador Romaguera

Publication date: 29 April 2008

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207160701210117

zbMATH Keywords

symbolic computationextended quasi-metricordered coneright \(K\)-Cauchy sequence

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Complete metric spaces (54E50) Metric spaces, metrizability (54E35) Ordered semigroups and monoids (06F05) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items

A fixed point theorem for preordered complete fuzzy quasi-metric spaces and an application, Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation, Characterizations of quasi-metric and \(G\)-metric completeness involving \(w\)-distances and fixed points, The complexity probabilistic quasi-metric space, New results on the mathematical foundations of asymptotic complexity analysis of algorithms via complexity spaces, The complexity space of partial functions: a connection between complexity analysis and denotational semantics, Complexity spaces as quantitative domains of computation, The Hausdorff fuzzy quasi-metric, An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words, A quasi-metric computational model from modular functions on monoids

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partial metric monoids and semivaluation spaces
• Lengths on semigroups and groups
• Ordered cones and approximation
• Denotational models for programming languages: Applications of Banach's fixed point theorem
• Sequence spaces and asymmetric norms in the theory of computational complexity.
• Quasi-metric properties of complexity spaces
• The correspondence between partial metrics and semivaluations
• The quasi-metric of complexity convergence
• Continuous Lattices and Domains