Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Semantic Characterisations of Second-Order Computability over the Real Numbers
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Hierarchies of Function Classes Defined by the First-Value Operator
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-resolution cellular automata for real computation
CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
On the weak computability of a four dimensional orthogonal packing and time scheduling problem
Theoretical Computer Science
Hi-index | 0.00 |