MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Comparing Functional Paradigms for Exact Real-Number Computation
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Topological and limit-space subcategories of countably-based equilogical spaces
Mathematical Structures in Computer Science
Theoretical Computer Science - Mathematical foundations of programming semantics
Constructive analysis, types and exact real numbers
Mathematical Structures in Computer Science
Implementing Real Numbers With RZ
Electronic Notes in Theoretical Computer Science (ENTCS)
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Constructive Urysohn's Universal Metric Space
Electronic Notes in Theoretical Computer Science (ENTCS)
The dedekind reals in abstract stone duality
Mathematical Structures in Computer Science
Variations on Wadge Reducibility Extended Abstract
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifications via Realizability
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics and Computability of the Evolution of Hybrid Systems
SIAM Journal on Control and Optimization
Hi-index | 0.00 |