Publicações

On the Efficient Implementation of Mode-Directed Tabling

AuthID
P-008-KAJ

Author(s)

Santos, J

Rocha, R

Editor(es)

Konstantinos F. Sagonas

Tipo de Documento

Proceedings Paper

Year published

2013

Publicado

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, Páginas: 141-156

Conference

15Th International Symposium on Practical Aspects of Declarative Languages, Padl 2013, Date: 21 January 2013 through 22 January 2013, Location: Rome, Patrocinadores: Association for Logic Programming

Indexing