Mathematical Aspects of Logic Programming Semantics

From MaRDI portal
Revision as of 22:47, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3075664

DOI10.1201/b10397zbMath1219.68085OpenAlexW4212883977MaRDI QIDQ3075664

Pascal Hitzler, Anthony Karel Seda

Publication date: 16 February 2011

Full work available at URL: https://library.oapen.org/bitstream/20.500.12657/41648/1/9781439829622.pdf



Related Items

On fixed point theory in topological posets, extended quasi-metric spaces and an application to asymptotic complexity of algorithms, Projective contractions, generalized metrics, and fixed points, Common fixed point results for generalized \(\alpha_{s^p}\) contractive mappings and applications, Coupled Meir-Keeler type contraction in metric spaces with an application to partial metric spaces, Some new fixed point theorems in partial metric spaces with applications, Unnamed Item, Positive solutions of nonlinear fractional differential equations in non-zero self-distance spaces, Common fixed points of a pair of Hardy Rogers type mappings on a closed ball in ordered dislocated metric spaces, From Caristi's theorem to Ekeland's variational principle in \(0_\sigma\)-complete metric-like spaces, A note on best approximation in 0-complete partial metric spaces, On the topology of partial metric spaces, On Fixed Point Theory in Partially Ordered (Quasi-)metric Spaces and an Application to Complexity Analysis of Algorithms, Nonunique Fixed Points on Partial Metric Spaces Via Control Functions, The Hausdorff fuzzy quasi-metric, A Nemytskii-Edelstein type fixed point theorem for partial metric spaces, Recent advances on the results for nonunique fixed in various spaces, Existence and Uniqueness results for nonlinear fractional differential equations via new \(Q\)-function, A study on the relationship between relaxed metrics and indistinguishability operators, On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics, On the completion of partial metric spaces, On fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms, Various generalizations of metric spaces and fixed point theorems, On partial metric preserving functions and their characterization, Existence of solutions of cantilever beam problem via (α-β-FG)-contractions in b-metric-like spaces