Efficient algorithms for semantic unification

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Translated title of the contribution	Efficient algorithms for semantic unification
Original language	English
Title of host publication	Unknown
Pages	527 - 532
Volume	1
Publication status	Published - 1996

Conference Proceedings/Title of Journal: IPMU '96

Handle.net

@inproceedings{0010a47ad99f4416bf181bdee6151cac,

title = "Efficient algorithms for semantic unification",

author = "JF Baldwin and J Lawry and TP Martin",

note = "Conference Proceedings/Title of Journal: IPMU '96",

year = "1996",

language = "English",

isbn = "848250777",

volume = "1",

pages = "527 -- 532",

booktitle = "Unknown",

}