Computability with Pascal
The halting problem for Turning machines
ACM SIGACT News
Introduction to computer science (3rd ed.)
Introduction to computer science (3rd ed.)
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Logic and Computer Applications
Logic and Computer Applications
Computation: finite and infinite machines
Computation: finite and infinite machines
Journal of Automated Reasoning
| Hi-index | 0.00 |