An Algorithm for the Retrieval of Unifiers from Discrimination Trees

Projects

Projects per year 1992 1996

• 1 Finished

Projects per year

Search results

• Finished

  Implementation of Resolution Refinements Based on Non-liftable Orders.

  de Nivelle, J. M. G. G.

  1/05/92 → 30/04/96

  Project: Research project