P. Hoddinott

According to our database, P. Hoddinott authored at least 2 papers in 1986.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1986

PROLOG: Subsumption of Equality Axioms by the Homogeneous Form.

P. Hoddinott, Edward W. Elcock

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.

Edward W. Elcock, P. Hoddinott

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986