3,038
edits
m (→Publications: More IBM reports) |
m (Text replacement - "Philadelphia Scientific Center" to "Philadelphia Scientific Center") |
||
Line 7: | Line 7: | ||
* [https://dl.acm.org/doi/abs/10.1147/rd.172.0135 Axioms and Theorems for a Theory of Arrays], IBM Journal of Research and Development, Volume 17, Issue 2. 1973-03. | * [https://dl.acm.org/doi/abs/10.1147/rd.172.0135 Axioms and Theorems for a Theory of Arrays], IBM Journal of Research and Development, Volume 17, Issue 2. 1973-03. | ||
* "Notes on the development of a theory of arrays", IBM Philadelphia Scientific Center Technical Report Number 320-3016, 1973-05. | * "Notes on the development of a theory of arrays", IBM [[Philadelphia Scientific Center]] Technical Report Number 320-3016, 1973-05. | ||
* "Notes on the Axioms for a theory of arrays", IBM Philadelphia Scientific Center Technical Report Number 320-3017, 1973-05. | * "Notes on the Axioms for a theory of arrays", IBM [[Philadelphia Scientific Center]] Technical Report Number 320-3017, 1973-05. | ||
* "A Theory of Arrays with Applications to Databases", IBM [[wikipedia:Cambridge Scientific Center|Cambridge Scientific Center]] report G320-2107, 1975-09. | * "A Theory of Arrays with Applications to Databases", IBM [[wikipedia:Cambridge Scientific Center|Cambridge Scientific Center]] report G320-2107, 1975-09. | ||
* "Types and Prototypes in a Theory of Arrays", IBM Cambridge Scientific Center report G320-2112, 1976-05. | * "Types and Prototypes in a Theory of Arrays", IBM Cambridge Scientific Center report G320-2112, 1976-05. |