On the Efficient Implementation of Mode-Directed Tabling

AuthID
P-008-KAJ
2
Author(s)
1
Editor(s)
Konstantinos F. Sagonas
Document Type
Proceedings Paper
Year published
2013
Published
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 7752 LNCS, Pages: 141-156
Conference
15Th International Symposium on Practical Aspects of Declarative Languages, Padl 2013, Date: 21 January 2013 through 22 January 2013, Location: Rome, Sponsors: Association for Logic Programming
Indexing
Publication Identifiers
Dblp: conf/padl/0004R13
Scopus: 2-s2.0-84891285811
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.