P. Hoddinott

Publication Activity (10 Years)

Years Active: 1986-1986
Publications (10 Years): 0

Publications

P. Hoddinott, Edward W. Elcock
PROLOG: Subsumption of Equality Axioms by the Homogeneous Form. SLP (1986)
Edward W. Elcock, P. Hoddinott
Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy. AAAI (1986)