Publications

An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives

AuthID
P-003-CBR

Author(s)

Areias, M

Rocha, R

Editor(s)

Carro, M; Pena, R

Document Type

Proceedings Paper

Year published

2010

Published

in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 5937, Pages: 279-293 (15)

Conference

12Th International Symposium on Practical Aspects of Declarative Languages, Date: JAN 18-19, 2010, Location: Madrid, SPAIN, Sponsors: Gopal Gupta, ACM, POPL, Univ Texas, Dallas, Univ Polit Madrid, Univ Complutense Madrid

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/110968

Crossref^®1

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-642-11503-5_23

Dblp: conf/padl/AreiasR10

Scopus: 2-s2.0-77749243023

Wos: WOS:000279019300023

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives

Useful Links

Get Help

Federated Authentication (Click on the image)

An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives

Useful Links

Get Help