Mathematical logic in artificial intelligence
The artificial intelligence debate: false starts, real foundations
Computing the future: a broader agenda for computer science and engineering
Computing the future: a broader agenda for computer science and engineering
Journal of the ACM (JACM)
An introduction to Kolmogorov complexity and its applications
An introduction to Kolmogorov complexity and its applications
A Machine-Independent Theory of the Complexity of Recursive Functions
Journal of the ACM (JACM)
The Mythical Man-Month: Essays on Softw
The Mythical Man-Month: Essays on Softw
Some Observations About the Nature of Computer Science
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
Verification Is Experimentation!
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
| Hi-index | 0.01 |