TY  - GEN
AU  - Estevan, Asier
AU  - Miñana, Juan-José
AU  - Valero, Oscar
PY  - 2019
DO  - 10.1007/s13398-019-00691-8
SN  - 1578-7303
UR  - https://hdl.handle.net/20.500.12105/22817
AB  - The celebrated Kleene fixed point theorem is crucial in the mathematical modelling of recursive specifications in Denotational Semantics. In this paperwe discuss whether the hypothesis of the aforementioned result can be weakened. An affirmative...
LA  - eng
PB  - Springer
KW  - Partial order
KW  - Quasi-metric
KW  - Fixed point
KW  - Kleene
KW  - Asymptotic complexity
KW  - Recurrence equation
TI  - On fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms
TY  - research article
ER  -