1991 | ||
---|---|---|
9 | E. W. Elcock: Absys, the First Logic-Programming Language: A View of the Inevitability of Logic Programming. Computational Logic - Essays in Honor of Alan Robinson 1991: 701-721 | |
1990 | ||
8 | E. W. Elcock: Absys: The First Logic Programming Language - A Retrospective and a Commentary. J. Log. Program. 9(1): 1-17 (1990) | |
1989 | ||
7 | E. W. Elcock: Absys: The Historical Inevitability of Logic Programming. NACLP 1989: 1201-1214 | |
6 | E. W. Elcock: Prolog: Subsumption of Equality Axioms by the Homogeneous Form. J. Log. Program. 6(1&2): 45-56 (1989) | |
1987 | ||
5 | EE | E. W. Elcock, Irene Gargantini, T. R. Walsh: Triangular decomposition. Image Vision Comput. 5(3): 225-231 (1987) |
1986 | ||
4 | E. W. Elcock, P. Hoddinott: Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy. AAAI 1986: 766-777 | |
3 | P. Hoddinott, E. W. Elcock: PROLOG: Subsumption of Equality Axioms by the Homogeneous Form. SLP 1986: 115-126 | |
1983 | ||
2 | E. W. Elcock: How Complete Are Knowledge-Representation Systems? IEEE Computer 16(10): 114-118 (1983) | |
1972 | ||
1 | EE | E. W. Elcock, J. J. McGregor, A. M. Murray: Data directed control and operating systems. Comput. J. 15(2): 125-129 (1972) |
1 | Irene Gargantini | [5] |
2 | P. Hoddinott | [3] [4] |
3 | J. J. McGregor | [1] |
4 | A. M. Murray | [1] |
5 | T. R. Walsh | [5] |