𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the ninth annual ACM symposium - Boulder, Colorado, United States (1977.05.04-1977.05.04)] Proceedings of the ninth annual ACM symposium on Theory of computing - STOC '77 - Computability and completeness in logics of programs (Preliminary Report)

✍ Scribed by Harel, D.; Meyer, A. R.; Pratt, V. R.


Book ID
123618545
Publisher
ACM Press
Year
1977
Weight
676 KB
Category
Article

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


[ACM Press the second annual ACM symposi
✍ Lewis, F. D. πŸ“‚ Article πŸ“… 1970 πŸ› ACM Press βš– 655 KB

The study of Computational Complexity began with the investigatio~ of Turing machine computations with limits on the amounts of tape or time which could be used. Latter a set of general axioms for measures of resource limiting was presented and this instigated much study of the properties of these