Skip to main content
Research
Focus areas
Blog
Publications
Careers
About
Back
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Back
About
Overview
Labs
People
Back
Semiconductors
Back
Artificial Intelligence
Back
Quantum Computing
Back
Hybrid Cloud
Back
Overview
Back
Labs
Back
People
Research
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Blog
Publications
Careers
About
Overview
Labs
People
Open IBM search field
Close
Publications
Filter by
Filter by
Open menu
5 results at
STOC 1970
Translating recursion equations into flow charts
H.R. Strong
1970
STOC 1970
DATA GRAPHS AND ADDRESSING SCHEMES: EXTENDED ABSTRACT
Arnold L. Rosenberg
1970
STOC 1970
The analysis of two-dimensional patterns using picture processing grammars
Shi-Kuo Chang
1970
STOC 1970
Data graphs and addressing schemes
Arnold L. Rosenberg
1970
STOC 1970
An interpretation oriented theorem prover over integers
James C. King
Robert W. Floyd
1970
STOC 1970