Weightable quasi-metric semigroups and semilattices

DOI10.1016/S1571-0661(05)80061-1zbMath1264.54052MaRDI QIDQ4923383

Salvador Romaguera, Michel Schellekens

Publication date: 6 June 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Continuous lattices and posets, applications (06B35)

Related Items (9)

Common fixed point of multifunctions on partial metric spaces ⋮ Some common fixed point theorems in partial metric spaces ⋮ A generalized contraction principle with control functions on partial metric spaces ⋮ Ordered fractal semigroups as a model of computation ⋮ Fixed point theory for cyclic generalized weak \(\phi\)-contraction on partial metric spaces ⋮ Fractal dimension for fractal structures: applications to the domain of words ⋮ Weak condition for generalized f-weakly Picard mappings on partial metric spaces ⋮ Unnamed Item ⋮ \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis

Cites Work

• An extensional treatment of lazy data flow deadlock
• Lengths on semigroups and groups
• Uniform lattices. I: A generalization of topological Riesz spaces and topological Boolean rings
• C-complete quasi-uniform spaces
• Approximation of metric spaces by partial metric spaces
• Uniform lattices. II: Order continuity and exhaustivity
• A characterization of partial metrizability: Domains are quantifiable.
• Quasi-metric properties of complexity spaces
• The correspondence between partial metrics and semivaluations
• The Smyth Completion
• Partial Metric Topology
• Duality and quasi-normability for complexity spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Weightable quasi-metric semigroups and semilattices