Search the dblp DataBase

Publications of Author

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