An External Module for Implementing Linear Tabling in Prolog (Extended Abstract)

AuthID
P-004-Q8F
3
Author(s)
Silva, C
·
2
Editor(s)
Etalle, S; Truszczynski, M
Document Type
Article
Year published
2006
Published
in LOGIC PROGRAMMING, PROCEEDINGS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 4079, Pages: 429-430 (2)
Conference
22Nd International Conference on Logic Programming, Date: AUG 17-20, 2006, Location: Seattle, WA
Indexing
Publication Identifiers
DBLP: conf/iclp/SilvaRL06
SCOPUS: 2-s2.0-33749346314
Wos: WOS:000240061200033
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.