Publications

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities

AuthID
P-00G-6HH

Author(s)

Cruz, F

Rocha, R

Editor(s)

Pontelli, E; Son, TC

Document Type

Proceedings Paper

Year published

2015

Published

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

Volume: 9131, Pages: 34-49 (16)

Conference

17Th International Symposium on Practical Aspects of Declarative Languages (Padl), Date: JUN 18-19, 2015, Location: Portland, OR, Sponsors: New Mexico State Univ, Assoc Log Programming, Natl Sci Fdn

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/530993

Crossref^®1

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-319-19686-2_3

Dblp: conf/padl/CruzR15

Scopus: 2-s2.0-84947905054

Wos: WOS:000363245900003

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.

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities

Useful Links

Get Help

Federated Authentication (Click on the image)

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities

Useful Links

Get Help