P. Hoddinott

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1986

2 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

1 P. Hoddinott, E. W. Elcock: PROLOG: Subsumption of Equality Axioms by the Homogeneous Form. SLP 1986: 115-126

1986
2		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
1		P. Hoddinott, E. W. Elcock: PROLOG: Subsumption of Equality Axioms by the Homogeneous Form. SLP 1986: 115-126

Coauthor Index

1 E. W. Elcock [1] [2]