A Simple and Efficient Implementation of Concurrent Local Tabling

AuthID
P-003-CBQ
3
Author(s)
Marques, R
·
2
Editor(es)
Carro, M; Pena, R
Tipo de Documento
Proceedings Paper
Year published
2010
Publicado
in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 5937, Páginas: 264-278 (15)
Conference
12Th International Symposium on Practical Aspects of Declarative Languages, Date: JAN 18-19, 2010, Location: Madrid, SPAIN, Patrocinadores: Gopal Gupta, ACM, POPL, Univ Texas, Dallas, Univ Polit Madrid, Univ Complutense Madrid
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-77749243035
Wos: WOS:000279019300022
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.