 | 1996 |
|---|
| 10 |       | Niki Afshartous,
Malcolm C. Harrison:
Expressing concurrency in Griffin.
ICPADS 1996: 292- |
| 1986 |
|---|
| 9 | | Vincent J. Digricoli,
Malcolm C. Harrison:
Equality-based binary resolution.
J. ACM 33(2): 253-289 (1986) |
| 1983 |
|---|
| 8 |  | D. Paul Benjamin,
Malcolm C. Harrison:
A Production System for Learning Plans From an Expert.
AAAI 1983: 22-26 |
| 1978 |
|---|
| 7 | | Malcolm C. Harrison,
Norman Rubin:
Another Generalization of Resolution.
J. ACM 25(3): 341-351 (1978) |
| 1977 |
|---|
| 6 | | Malcolm C. Harrison:
A Hierarchical Approach to Theorem-Proving.
IJCAI 1977: 529-533 |
| 1971 |
|---|
| 5 | | Malcolm C. Harrison:
Implementation of the Substring Test by Hashing.
Commun. ACM 14(12): 777-779 (1971) |
| 1968 |
|---|
| 4 | | Malcolm C. Harrison:
Implementations of the SHARER2 time-sharing system.
Commun. ACM 11(12): 845 (1968) |
| 1967 |
|---|
| 3 | | Malcolm C. Harrison,
J. T. Schwartz:
SHARER, a time sharing system for the CDC 6600.
Commun. ACM 10(10): 659-665 (1967) |
| 1965 |
|---|
| 2 | | Malcolm C. Harrison:
Letters to the editor: Fortran II chaining.
Commun. ACM 8(5): 262 (1965) |
| 1 | | Malcolm C. Harrison:
File-handling within FORTRAN.
Commun. ACM 8(8): 514-515 (1965) |
