Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
An Introduction to the General Theory of Algorithms
An Introduction to the General Theory of Algorithms
A Survey of Some Recent Results on Computational Complexity in Weak Theories of Arithmetic
Proceedings on Mathematical Foundations of Computer Science
Independence results in computer science
ACM SIGACT News
Hi-index | 0.00 |