On the structure of the space of complexity partial functions

DOI10.1080/00207160701210117MaRDI QIDQ5459746zbMATH OpenOpenAlexFDO

Authors O. 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

extended quasi-metricordered coneright \(K\)-Cauchy sequencesymbolic computation

Mathematics Subject Classification ID

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

Recommendations

• An extension of the dual complexity space and an application to computer science
• The dual complexity space as the dual of a normed cone
• An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words
• The complexity space of partial functions: a connection between complexity analysis and denotational semantics
• Sequence spaces and asymmetric norms in the theory of computational complexity.

Cites work

• Continuous Lattices and Domains
• Denotational models for programming languages: Applications of Banach's fixed point theorem
• scientific article; zbMATH DE number 3789474 (Why is no real title available?)
• scientific article; zbMATH DE number 1049043 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 2206109 (Why is no real title available?)
• Lengths on semigroups and groups
• Ordered cones and approximation
• Partial metric monoids and semivaluation spaces
• Quasi-metric properties of complexity spaces
• Sequence spaces and asymmetric norms in the theory of computational complexity.
• The correspondence between partial metrics and semivaluations
• The quasi-metric of complexity convergence

Cited in

(20)

• An extension of the dual complexity space and an application to computer science
• Sequence spaces and asymmetric norms in the theory of computational complexity.
• On the time complexity of partial real functions
• Type 2 computational complexity of functions on Cantor's space
• A fixed point theorem for preordered complete fuzzy quasi-metric spaces and an application
• 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 partial functions: a connection between complexity analysis and denotational semantics
• THE A-COMPLEXITY OF A SPACE
• An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words
• A quasi-metric computational model from modular functions on monoids
• scientific article; zbMATH DE number 1547051 (Why is no real title available?)
• New results on the mathematical foundations of asymptotic complexity analysis of algorithms via complexity spaces
• Towards a Unified Complexity Theory of Total Functions
• Complexity spaces as quantitative domains of computation
• Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation
• The complexity probabilistic quasi-metric space
• Generalized metric spaces having the fixed point property with respect to contractions
• Some classes of distance spaces as generalized metric spaces: terminology, mappings, fixed points and applications in theoretical informatics
• The Hausdorff fuzzy quasi-metric

This page was built for publication: On the structure of the space of complexity partial functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5459746)