A fixed point theorem in partial quasi-metric spaces and an application to software engineering
type: Item
instance of: scholarly article
title: A fixed point theorem in partial quasi-metric spaces and an application to software engineering
zbMATH Open document ID: 1410.54051
author: M. A. Alghamdi
author: Nazeer Shahzad
author: O. Valero
author: Mohammed Ali Al-Ghamdi
published in: Applied Mathematics and Computation
publication date: 2019-03-18T00:00:00Z
Mathematics Subject Classification ID: 54H25
Mathematics Subject Classification ID: 54E50
Mathematics Subject Classification ID: 54F05
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 7037763
zbMATH Keywords: partial quasi-metric
zbMATH Keywords: quasi-metric
zbMATH Keywords: partial metric
zbMATH Keywords: partially ordered set
zbMATH Keywords: complexity analysis
zbMATH Keywords: denotational semantics
MaRDI profile type: Publication
full work available at URL: j.amc.2015.06.074
OpenAlex ID: W1094653129
cites work: New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs
cites work: The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science
cites work: Q4692885
cites work: Fixed point theorems on quasi-partial metric spaces
cites work: Q4546500
cites work: Partial quasi-metrics
cites work: Partial Metric Topology
cites work: Q3539342
cites work: Q3959414
cites work: On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics
DOI: 10.1016/J.AMC.2015.06.074
description: scientific article; zbMATH DE number 7037763