Saltar para:
Logótipo
Você está em: Início > Publicações > Visualização > Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs
Mapa das Instalações
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática

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-2024 © Faculdade de Ciências da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Última actualização: 2016-03-23 I  Página gerada em: 2024-08-22 às 09:13:51 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias