activity
20062024
most citedOn fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms

2 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing 2010Show all

1 paper · 1 filter

cs.CC2010

The Baire partial quasi-metric space: A mathematical tool for asymptotic complexity analysis in Computer Science

M. A. Cerdà-Uguet, M. P. Schellekens, O. Valero

In 1994, S.G. Matthews introduced the notion of partial metric space in order to obtain a suitable mathematical tool for program verification [Ann. New York Acad. Sci. 728 (1994),…