Specialisation of a Unification Algorithm

DA De Waal, JP Gallagher

Research output: Chapter in Book/Report/Conference proceedingChapter in a book

Translated title of the contributionSpecialisation of a Unification Algorithm
Original languageEnglish
Title of host publicationLogic Program Synthesis and Transformation: Manchester 1991
EditorsT. Clement, K-K. Lau
Pages205 - 220
Number of pages15
ISBN (Print)354017427
Publication statusPublished - 1991

Bibliographical note

Other: # Technical Report TR-91-14

Cite this