2 papers
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),…
math.FA2006
Quotient normed cones
Oscar Valero
Given a normed cone and a subcone we construct and study the quotient normed cone generated by . In particular we characterize the bicompleteness…