Abstract computability and algebraic specification
ACM Transactions on Computational Logic (TOCL)
Theoretical Computer Science
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
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Some Properties of the Effective Uniform Topological Space
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)
The rational numbers as an abstract data type
Journal of the ACM (JACM)
Can Newtonian systems, bounded in space, time, mass and energy compute all functions?
Theoretical Computer Science
First and Second Order Recursion on Abstract Data Types
Fundamenta Informaticae
Minimality considerations for ordinal computers modeling constructibility
Theoretical Computer Science
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
(Short) Survey of Real Hypercomputation
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Programming Experimental Procedures for Newtonian Kinematic Machines
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Oracles and Advice as Measurements
UC '08 Proceedings of the 7th international conference on Unconventional Computing
On Relativizations of the P =? NP Question for Several Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
Kolmogorov Complexity Theory over the Reals
Electronic Notes in Theoretical Computer Science (ENTCS)
Reducibility of domain representations and cantor–weihrauch domain representations
Mathematical Structures in Computer Science
Uncomputability below the real halting problem
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Primitive recursive selection functions over abstract algebras
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Towards practical computable functions on context-free languages
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
First and Second Order Recursion on Abstract Data Types
Fundamenta Informaticae
Algebraic Specifications of Computing as a Service with Applications to Cost Analysis
UCC '12 Proceedings of the 2012 IEEE/ACM Fifth International Conference on Utility and Cloud Computing
| Hi-index | 0.00 |