Search CORE

3 research outputs found

An algorithm for the retrieval of unifiers from discrimination trees

Author: Nivelle H.
Publication venue: 'Springer Fachmedien Wiesbaden GmbH'
Publication date: 01/01/1998
Field of study

CWI's Institutional Repository

An Algorithm for the Retrieval of Unifiers from Discrimination Trees

Author: de Nivelle J.M.G.G.
Publication venue: Springer Verlag
Publication date: 01/01/1996
Field of study

Tilburg University Repository

An Algorithm for the Retrieval of Unifiers from Discrimination Trees

Author: de Nivelle J.M.G.G.
Publication venue: Springer Verlag
Publication date: 01/01/1996
Field of study

Tilburg University Repository

core

core