Streams, Stream Transformers and Domain Representations
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Some Properties of the Effective Uniform Topological Space
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
The iRRAM: Exact Arithmetic in C++
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Infinite limits and R-recursive functions
Acta Cybernetica
Abstract versus concrete computation on metric partial algebras
ACM Transactions on Computational Logic (TOCL)
First and Second Order Recursion on Abstract Data Types
Fundamenta Informaticae
Semantics of a sequential language for exact real-number computation
Theoretical Computer Science
Sequential Real Number Computation and Recursive Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
(Short) Survey of Real Hypercomputation
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
First-Order Universality for Real Programs
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Semantical proofs of correctness for programs performing non-deterministic tests on real numbers
Mathematical Structures in Computer Science
A characterization of computable analysis on unbounded domains using differential equations
Information and Computation
Real recursive functions and real extensions of recursive functions
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Complexity and intensionality in a type-1 framework for computable analysis
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
First and Second Order Recursion on Abstract Data Types
Fundamenta Informaticae
Hi-index | 0.00 |