| Original language | English (US) |
|---|---|
| Title of host publication | ACM Symposium on Theory of Computing |
| Pages | 318-325 |
| Volume | 12 |
| State | Published - 1980 |
Space-time tradeoffs and first order problems in a model of programs
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution