Edward W. Elcock

Affiliations:
  • University of Western Ontario, London, ON, Canada
  • University of Aberdeen, UK (former)


According to our database1, Edward W. Elcock authored at least 14 papers between 1965 and 1991.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1991
Absys, the First Logic-Programming Language: A View of the Inevitability of Logic Programming.
Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1990
Absys: The First Logic Programming Language - A Retrospective and a Commentary.
J. Log. Program., 1990

1989
Prolog: Subsumption of Equality Axioms by the Homogeneous Form.
J. Log. Program., 1989

Absys: The Historical Inevitability of Logic Programming.
Proceedings of the Logic Programming, 1989

1987
Triangular decomposition.
Image Vis. Comput., 1987

1986
PROLOG: Subsumption of Equality Axioms by the Homogeneous Form.
Proceedings of the 1986 Symposium on Logic Programming, 1986

Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985
A framework for the generation of microcomputer-based application.
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems, 1985

1983
How Complete Are Knowledge-Representation Systems?
Computer, 1983

Experiences in the establishment of a microcomputer support laboratory.
Proceedings of the 11th annual ACM SIGUCCS conference on User services, 1983

Knowledge Representation in an Efficient Deductive Inference System.
Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

The Pragmatics of Prolog: Some Comments.
Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

1972
Data directed control and operating systems.
Comput. J., 1972

1965
Note on the addressing of lists by their source-language names.
Comput. J., 1965


  Loading...