Abstract computability and algebraic specification
ACM Transactions on Computational Logic (TOCL)
Theoretical Computer Science
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
Abstract versus concrete computation on metric partial algebras
ACM Transactions on Computational Logic (TOCL)
Primitive recursive selection functions over abstract algebras
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Hi-index | 0.00 |