The following pages link to PCF extended with real numbers (Q1349926):
Displayed 36 items.
- Generalized Geraghty type mappings on partial metric spaces and fixed point results (Q361563) (← links)
- On cyclic generalized weakly \(C\)-contractions on partial metric spaces (Q364544) (← links)
- Fixed point theory for cyclic generalized contractions in partial metric spaces (Q368398) (← links)
- Coincidence and fixed points for contractions and cyclical contractions in partial metric spaces (Q375408) (← links)
- Common fixed points of \(g\)-quasicontractions and related mappings in 0-complete partial metric spaces (Q375424) (← links)
- Fixed point results under various contractive conditions in partial metric spaces (Q380413) (← links)
- Fixed point theorems under Hardy-Rogers contractive conditions on 0-complete ordered partial metric spaces (Q385685) (← links)
- On fixed point theory in partial metric spaces (Q385690) (← links)
- Coupled coincidence points of mappings in ordered partial metric spaces (Q417101) (← links)
- Fixed point theorems for weak contractions in the sense of Berinde on partial metric spaces (Q428791) (← links)
- Generalized contractions on partial metric spaces (Q616918) (← links)
- Fixed point theorems for monotone mappings on partial metric spaces (Q623555) (← links)
- Fixed points of Geraghty-type mappings in various generalized metric spaces (Q657139) (← links)
- Quasi-metrics and monotone normality (Q719741) (← links)
- Partial metric monoids and semivaluation spaces (Q818425) (← links)
- Termination of floating-point computations (Q850498) (← links)
- An extension of the dual complexity space and an application to computer science (Q1032953) (← links)
- A domain-theoretic approach to computability on the real line (Q1274807) (← links)
- Induction and recursion on the partial real line with applications to Real PCF (Q1274810) (← links)
- Quantitative semantics, topology, and possibility measures (Q1295211) (← links)
- Properly injective spaces and function spaces (Q1295213) (← links)
- Hierarchies of total functionals over the reals (Q1434355) (← links)
- Contractivity of linear fractional transformations (Q1603893) (← links)
- Exact real number computations relative to hereditarily total functionals. (Q1607298) (← links)
- Coupled coincidence points in partially ordered cone metric spaces with a \(c\)-distance (Q1760639) (← links)
- Integration in Real PCF (Q1854356) (← links)
- Fixed point theorems for Ćirić-type strong almost contractions on partial metric spaces (Q1950321) (← links)
- An abstract data type for real numbers (Q1960529) (← links)
- Semantics of a sequential language for exact real-number computation (Q2373708) (← links)
- Bicompleting weightable quasi-metric spaces and partial metric spaces (Q2569761) (← links)
- Can partial indexings be totalized? (Q2758051) (← links)
- A quasi-metric computational model from modular functions on monoids (Q3643150) (← links)
- Effective λ-models versus recursively enumerable λ-theories (Q3643360) (← links)
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic (Q4382500) (← links)
- Sequential Real Number Computation and Recursive Relations (Q4918036) (← links)
- Partial correctness for probabilistic demonic programs (Q5958768) (← links)