Você está em: Início > Publicações > Visualização > Single Time-Stamped Tries for Retroactive Call Subsumption

Publicação

Single Time-Stamped Tries for Retroactive Call Subsumption

Título

Tipo

Outras Publicações

Data

2011

Título

Single Time-Stamped Tries for Retroactive Call Subsumption

Tipo

Outras Publicações

Ano

2011

Autores

FlÃ¡vio Cruz

(Autor)

Outra

Ricardo Rocha

(Autor)

FCUP

Outras Informações

ID Authenticus: P-00F-YAR

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Documentos

Não foi encontrado nenhum documento associado à publicação.

Publicações Relacionadas

Declarative Coordination of Graph-based Parallel Programs (2016)
Artigo em Revista Científica Internacional
Flavio Cruz; Ricardo Rocha; Goldstein, SC

A Linear Logic Programming Language for Concurrent Programming over Graph Structures (2014)
Artigo em Revista Científica Internacional
Flavio Cruz; Ricardo Rocha; Seth Copen Goldstein; Frank Pfenning

Thread-aware logic programming for data-driven parallel programs (2015)
Artigo em Livro de Atas de Conferência Internacional
Cruz, F; Rocha, R; Goldstein, SC

Retroactive Subsumption-Based Tabled Evaluation of Logic Programs (2010)
Artigo em Livro de Atas de Conferência Internacional
Flavio Cruz; Ricardo Rocha