Specialisation of a unification algorithm

DA De Waal, JP Gallagher

Research output: Working paperWorking paper and Preprints

Translated title of the contributionSpecialisation of a unification algorithm
Original languageEnglish
PublisherUniversity of Bristol
Number of pages13
Publication statusPublished - 1991

Bibliographical note

Other: # TR-91-14 Also appears in Logic Program Synthesis and Transformation (LOPSTR'91), pp 205-220 eds. T. Clement and K-K. Lau, Workshops in Computing, Springer-Verlag

Cite this