Journal of the ACM (JACM)
Realization of Events by Logical Nets
Journal of the ACM (JACM)
System Handling of Functional Operators
Journal of the ACM (JACM)
A General Translation Program for Phrase Structure Languages
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Mathematical Structure of Nonarithmetic Data Processing Procedures
Journal of the ACM (JACM)
Two Families of Languages Related to ALGOL
Journal of the ACM (JACM)
Some Recursively Unsolvable Problems in ALGOL-Like Languages
Journal of the ACM (JACM)
Operations Which Preserve Definability in Languages
Journal of the ACM (JACM)
The use of threaded lists in constructing a combined ALGOL and machine-like assembly processor
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Symbol manipulation by threaded lists
Communications of the ACM
Proving theorems by pattern recognition I
Communications of the ACM
Report on the algorithmic language ALGOL 60
Communications of the ACM
On the nonexistence of a phrase structure grammar for ALGOL 60
Communications of the ACM
Introduction to Mathematical Machine Theory
Introduction to Mathematical Machine Theory
A programming language
Computer Science Curriculum Developments in the 1960s
IEEE Annals of the History of Computing
Hi-index | 48.22 |