Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by O. Valero
The Complexity Space of Partial Functions: A Connection Between Complexity Analysis and Denotational Semantics
International Journal of Computer Mathematics
Computational Theory
Applied Mathematics
Computer Science Applications
Mathematics
On 0-Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics
Abstract and Applied Analysis
Applied Mathematics
Analysis
Related publications
Connection Between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics
DAIMI Report Series
Semantics and Complexity of SPARQL
ACM Transactions on Database Systems
Information Systems
The Complexity of Partial Orders
Towards Measuring the Complexity of Introducing Semantics Into a Company
A Denotational Semantics for the Π-Calculus
The Complexity of Real Recursive Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Monotone Circuit Complexity of Boolean Functions
Combinatorica
Combinatorics
Computational Mathematics
Discrete Mathematics
Complexity of the Class of Peano Functions
Colloquium Mathematicum
Mathematics
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
