Abstract computability and algebraic specification
ACM Transactions on Computational Logic (TOCL)
Theoretical Computer Science
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
Generalised Computability and Applications to Hybrid Systems
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Computational Dimension of Topological Spaces
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Admissible Representations of Limit Spaces
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Computability and totality in domains
Mathematical Structures in Computer Science
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)
Electronic Notes in Theoretical Computer Science (ENTCS)
Can Newtonian systems, bounded in space, time, mass and energy compute all functions?
Theoretical Computer Science
Computability of analog networks
Theoretical Computer Science
Programming Experimental Procedures for Newtonian Kinematic Machines
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Reducibility of domain representations and cantor–weihrauch domain representations
Mathematical Structures in Computer Science
On computably locally compact hausdorff spaces
Mathematical Structures in Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Computability on subsets of locally compact spaces
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
Admissible representations in computable analysis
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
| Hi-index | 0.00 |