RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Recursive specification"

Mostrando ítems 1-1 de 1

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-1 de 1