Higher-order polymorphic unification for logic programming

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Logic programming
Editors	P. VanHentenryck
Publisher	Massachusetts Institute of Technology Press (MIT Press)
Pages	419-433
ISBN (Print)	0-262-72022-1
Publication status	Published - 1994
Event	11th International Conference on Logic Programming - S. Margherita Ligure, Italy Duration: 13 Jun 1994 → 18 Jun 1994

Name	MIT Press Series in Logic Programming
Publisher	MIT Press
ISSN (Print)	1061-0464

Conference	11th International Conference on Logic Programming
Country/Territory	Italy
City	S. Margherita Ligure
Period	13/06/94 → 18/06/94

Cite this

@inbook{867de67eb5204d71bbb55434cc19ae38,

title = "Higher-order polymorphic unification for logic programming",

author = "L. Caires and L. Monteiro",

year = "1994",

language = "English",

isbn = "0-262-72022-1",

series = "MIT Press Series in Logic Programming",

publisher = "Massachusetts Institute of Technology Press (MIT Press)",

pages = "419--433",

editor = "P. VanHentenryck",

booktitle = "Logic programming",

note = "11th International Conference on Logic Programming ; Conference date: 13-06-1994 Through 18-06-1994",

}

TY - CHAP

T1 - Higher-order polymorphic unification for logic programming

AU - Caires, L.

AU - Monteiro, L.

PY - 1994

Y1 - 1994

M3 - Chapter

SN - 0-262-72022-1

T3 - MIT Press Series in Logic Programming

SP - 419

EP - 433

BT - Logic programming

A2 - VanHentenryck, P.

PB - Massachusetts Institute of Technology Press (MIT Press)

T2 - 11th International Conference on Logic Programming

Y2 - 13 June 1994 through 18 June 1994

ER -