On fixed point theory in topological posets, extended quasi-metric spaces and an application to asymptotic complexity of algorithms

DOI10.1186/s13663-015-0419-xzbMath1469.54187OpenAlexW2124441664WikidataQ59402865 ScholiaQ59402865MaRDI QIDQ288177

Maryam A. Alghamdi, Oscar Valero, Naseer Shahzad, Mohammed Ali Alghamdi

Publication date: 25 May 2016

Published in: Fixed Point Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1186/s13663-015-0419-x

zbMATH Keywords

monotonefixed pointasymptotic complexity analysisextended quasi-metricHausdorfftopological poset

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Partial orders, general (06A06) Complete metric spaces (54E50) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Fixed-point and coincidence theorems (topological aspects) (54H25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On completeness in quasi-metric spaces
• On the order-theoretic Cantor theorem
• New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs
• 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
• Bicompleting weightable quasi-metric spaces and partial metric spaces
• Mathematical Aspects of Logic Programming Semantics
• Difference Equations
• The Smyth Completion
• Partial Metric Topology
• Denotational semantics for programming languages, balanced quasi-metrics and fixed points