dblp.uni-trier.dewww.uni-trier.de

Malcolm C. Harrison

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1996
10EENiki Afshartous, Malcolm C. Harrison: Expressing concurrency in Griffin. ICPADS 1996: 292-
1986
9EEVincent 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
7EEMalcolm 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
4EEMalcolm C. Harrison: Implementations of the SHARER2 time-sharing system. Commun. ACM 11(12): 845 (1968)
1967
3EEMalcolm C. Harrison, J. T. Schwartz: SHARER, a time sharing system for the CDC 6600. Commun. ACM 10(10): 659-665 (1967)
1965
2EEMalcolm C. Harrison: Letters to the editor: Fortran II chaining. Commun. ACM 8(5): 262 (1965)
1EEMalcolm C. Harrison: File-handling within FORTRAN. Commun. ACM 8(8): 514-515 (1965)

Coauthor Index

1Niki Afshartous [10]
2D. Paul Benjamin [8]
3Vincent J. Digricoli [9]
4Norman Rubin [7]
5J. T. Schwartz [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)