Higher-order polymorphic unification for logic programming

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageEnglish
Title of host publicationLogic programming
EditorsP. VanHentenryck
PublisherMassachusetts Institute of Technology Press (MIT Press)
Pages419-433
ISBN (Print)0-262-72022-1
Publication statusPublished - 1994
Event11th International Conference on Logic Programming - S. Margherita Ligure, Italy
Duration: 13 Jun 199418 Jun 1994

Publication series

NameMIT Press Series in Logic Programming
PublisherMIT Press
ISSN (Print)1061-0464

Conference

Conference11th International Conference on Logic Programming
CountryItaly
CityS. Margherita Ligure
Period13/06/9418/06/94

Cite this