Higher-Order Polymorphic Unification For Logic Programming

AuthID
 P-001-KXM
2
Author(s)
1
Editor(s)
VanHentenryck,P
Document Type
Proceedings Paper
Year published
1994
Published
in 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
Wos®
Dblp®/en/publications/view/53172
Publication Identifiers
Dblp: conf/iclp/CairesM94
Wos: WOS:A1994BB17T00030
Source Identifiers
ISSN: 1061-0464
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service