Real number computation through gray code embedding
Theoretical Computer Science
Computational Dimension of Topological Spaces
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Hierarchies of total functionals over the reals
Theoretical Computer Science - Logic, semantics and theory of programming
Compact metric spaces as minimal-limit sets in domains of bottomed sequences
Mathematical Structures in Computer Science
Semantics of a sequential language for exact real-number computation
Theoretical Computer Science
Streams with a bottom in functional languages
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
A language for differentiable functions
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
A Stream Calculus of Bottomed Sequences for Real Number Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 5.23 |