Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Complexity space"

Mostrando ítems 1-4 de 4

Complexity spaces as quantitative domains of computation

Romaguera Bonilla, Salvador; Schellekens, M.P.; Valero Sierra, Óscar (Elsevier, 2011-04)

We study domain theoretic properties of complexity spaces. Although the so-called complexity space is not a domain for the usual pointwise order, we show that, however, each pointed complexity space is an ¿-continuous ...
Duality and quasi-normability for complexity spaces

Romaguera, Salvador; Schellekens, M.P. (Universitat Politècnica de València, 2002-04-01)

[EN] The complexity (quasi-metric) space was introduced in [23] to study complexity analysis of programs. Recently, it was introduced in [22] the dual complexity (quasi-metric) space, as a subspace of the function space ...
New results on the mathematical foundations of asymptotic complexity analysis of algorithms via complexity spaces

Romaguera Bonilla, Salvador; Tirado Peláez, Pedro; Valero Sierra, Óscar (Taylor & Francis Ltd, 2012)

Schellekens [The Smyth completion: A common foundation for denotational semantics and complexity analysis, Electron. Notes Theor. Comput. Sci. 1 (1995), pp. 211-232.] introduced the theory of complexity (quasi-metric) ...
The complexity space of partial functions: A connection between Complexity Analysis and Denotational Semantics

Romaguera Bonilla, Salvador; Schellekens, M.; Valero Sierra, Óscar (Taylor & Francis Ltd, 2011)

The study of the dual complexity space, introduced by S. Romaguera and M. P. Schellekens [Quasi-metric properties of complexity spaces, Topol. Appl. 98 (1999), pp. 311-322], constitutes a part of the interdisciplinary ...

Mostrando ítems 1-4 de 4

Listar por palabra clave "Complexity space"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Complexity space"