P. Hoddinott

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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]