Specialisation of a unification algorithm

DA De Waal; JP Gallagher

Specialisation of a unification algorithm

DA De Waal, JP Gallagher

Research output: Working paper

Translated title of the contribution	Specialisation of a unification algorithm
Original language	English
Publisher	University of Bristol
Number of pages	13
Publication status	Published - 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

Handle.net

Persistent link

Cite this

@techreport{f17dd528b79c4b2a9c7f5dc8bb38f331,

title = "Specialisation of a unification algorithm",

author = "\{De Waal\}, DA and JP Gallagher",

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",

year = "1991",

language = "English",

publisher = "University of Bristol",

address = "United Kingdom",

type = "WorkingPaper",

institution = "University of Bristol",

}

TY - UNPB

T1 - Specialisation of a unification algorithm

AU - De Waal, DA

AU - Gallagher, JP

N1 - 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

PY - 1991

Y1 - 1991

M3 - Working paper

BT - Specialisation of a unification algorithm

PB - University of Bristol

ER -