Você está em: Start > Publications > View > Single Time-Stamped Tries for Retroactive Call Subsumption

Map of Premises

Publication

Publications

Single Time-Stamped Tries for Retroactive Call Subsumption

Title

Type

Other Publications

Date

2011

Title

Single Time-Stamped Tries for Retroactive Call Subsumption

Type

Other Publications

Year

2011

Authors

FlÃ¡vio Cruz

(Author)

Other

View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page Without ORCID

Ricardo Rocha

(Author)

FCUP

Other information

Authenticus ID: P-00F-YAR

Language: English

Type (Professor's evaluation): Scientific

Documents

We could not find any documents associated to the publication.

Related Publications

Declarative Coordination of Graph-based Parallel Programs (2016)
Article in International Scientific Journal
Flavio Cruz; Ricardo Rocha; Goldstein, SC

A Linear Logic Programming Language for Concurrent Programming over Graph Structures (2014)
Article in International Scientific Journal
Flavio Cruz; Ricardo Rocha; Seth Copen Goldstein; Frank Pfenning

Thread-aware logic programming for data-driven parallel programs (2015)
Article in International Conference Proceedings Book
Cruz, F; Rocha, R; Goldstein, SC

Retroactive Subsumption-Based Tabled Evaluation of Logic Programs (2010)
Article in International Conference Proceedings Book
Flavio Cruz; Ricardo Rocha