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 math.LOShow all

1 paper · 1 filter

math.LO2016

On the structure of formal balls of the balanced quasi-metric domain of words

Salvador Romaguera, Oscar Valero

In "Denotational semantics for programming languages, balanced quasi-metrics and fixed points" (International Journal of Computer Mathematics 85 (2008), 623-630), J. Rodríguez-Lópe…