Publications

Higher-Order Polymorphic Unification For Logic Programming

AuthID
P-001-KXM

Author(s)

CAIRES, L

MONTEIRO, L

Editor(s)

VanHentenryck, P

Document Type

Proceedings Paper

Year published

1994

Published

in LOGIC PROGRAMMING: PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING in MIT PRESS SERIES IN LOGIC PROGRAMMING, ISSN: 1061-0464

Pages: 419-433 (15)

Conference

11Th International Conference on Logic Programming, Date: JUN 13-18, 1994, Location: S MARGHERITA LIGURE, ITALY, Sponsors: ASSOC LOGIC PROGRAMMING

Indexing