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: 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
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.

A place for researchers and their institutions

Useful Links

Get Help

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