Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs

Publicações

Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs

Título
Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs
Tipo
Artigo em Livro de Atas de Conferência Internacional
Ano
2010
Autores
Flávio Cruz
(Autor)
FCUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Ver página do Authenticus Sem ORCID
Ricardo Rocha
(Autor)
FCUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Ver página do Authenticus Ver página ORCID
Classificação Científica
FOS: Ciências exactas e naturais > Ciências da computação e da informação
CORDIS: Ciências Físicas > Ciência de computadores > Programação
Outras Informações
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Contacto: rlrocha@fc.up.pt
Notas: Editors: L. S. Barbosa and M. P. Correia.
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas

Dos mesmos autores

Single Time-Stamped Tries for Retroactive Call Subsumption (2011)
Outras Publicações
Flávio Cruz; Ricardo Rocha
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs (2011)
Artigo em Revista Científica Internacional
Flavio Cruz; Ricardo Rocha
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

Ver todas (9)

Das mesmas áreas científicas

Programação e Computação. Apontamentos (2002)
Publicação Didática
Ana Maria Faustino
Exercícios de Programação e Computadores (2002)
Publicação Didática
Ana Maria Faustino; João Marques De Carvalho
Exercícios de Computação (2007)
Publicação Didática
Ana Maria Faustino; João Marques De Carvalho
Exercícios de Computação (2011)
Publicação Didática
Ana Maria Faustino; João Marques De Carvalho
Exercícios de Computação (2006)
Publicação Didática
Ana Maria Faustino; João Marques De Carvalho

Ver todas (12)

Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2025-07-23 às 04:52:18 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias