A fixed point theorem in partial quasi-metric spaces and an application to software engineering
complexity analysisdenotational semanticspartial metricpartial quasi-metricpartially ordered setquasi-metric
Complete metric spaces (54E50) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Fixed-point and coincidence theorems (topological aspects) (54H25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Analysis of algorithms and problem complexity (68Q25) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
- A new contribution to the fixed point theory in partial quasi-metric spaces and its applications to asymptotic complexity analysis of algorithms
- 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
- New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs
- The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science
- Fixed point theorems on quasi-partial metric spaces
- scientific article; zbMATH DE number 5367214 (Why is no real title available?)
- scientific article; zbMATH DE number 3780545 (Why is no real title available?)
- scientific article; zbMATH DE number 1784847 (Why is no real title available?)
- scientific article; zbMATH DE number 194916 (Why is no real title available?)
- New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs
- On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics
- Partial Metric Topology
- Partial quasi-metrics
- The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science
- Some \(\varphi\)-coupled fixed point results via modified \(F\)-control function's concept in metric spaces and its applications
- New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs
- General versions of the Ekeland variational principle: Ekeland points and stop and go dynamics
- Solution of nonlinear integral equation via fixed point of cyclic _L^-rational contraction mappings in metric-like spaces
- On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics
- Generalized contractive mappings and related results in \(b\)-metric like spaces with an application
- A new contribution to the fixed point theory in partial quasi-metric spaces and its applications to asymptotic complexity analysis of algorithms
- New fixed point results in partial quasi-metric spaces
- A characterisation of weightable quasi-metric generating functions
- Generalized contraction mappings of rational type and applications to nonlinear integral equations
- scientific article; zbMATH DE number 7104092 (Why is no real title available?)
- Qualitative versus quantitative fixed point techniques in computer science
- Fixed point theorems in quasi-metric spaces
- On existence and uniqueness of solution of heat equations in quasi-metric spaces
- The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science
- On the bicompletion of a partial quasi-metric space and \(T_0\)-quasi-metric spaces
This page was built for publication: A fixed point theorem in partial quasi-metric spaces and an application to software engineering
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q668250)
