On Extending a Linear Tabling Framework to Support Batched Scheduling

AuthID
P-008-KJW
2
Author(s)
Document Type
Proceedings Paper
Year published
2012
Published
in SLATE, ISSN: 21906807
Volume: 21, Pages: 9-24 (15)
Indexing
Publication Identifiers
Dblp: conf/slate/AreiasR12
Scopus: 2-s2.0-85032483311
Source Identifiers
ISSN: 21906807
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.