Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > Mixed-Strategies for Linear Tabling in Prolog

Publicações

Mixed-Strategies for Linear Tabling in Prolog

Título
Mixed-Strategies for Linear Tabling in Prolog
Tipo
Artigo em Livro de Atas de Conferência Internacional
Ano
2010
Autores
MIGUEL AREIAS
(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
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
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

On Applying Linear Tabling to Logic Programs (2010)
Tese
MIGUEL AREIAS; Ricardo Rocha
Special Issue: High-Level Parallel Programming and Applications (2021)
Livro
Miguel Areias; Ricardo Rocha
Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog (2024)
Artigo em Revista Científica Internacional
Moreno, P; Miguel Areias; Ricardo Rocha; Costa, VS
Towards multi-threaded local tabling using a common table space (2012)
Artigo em Revista Científica Internacional
Miguel Areias; Ricardo Rocha
Table space designs for implicit and explicit concurrent tabled evaluation (2018)
Artigo em Revista Científica Internacional
Miguel Areias; Ricardo Rocha

Ver todas (30)

Das mesmas áreas científicas

On Applying Linear Tabling to Logic Programs (2010)
Tese
MIGUEL AREIAS; Ricardo Rocha
APRIORI Algorithm for Label Ranking (2010)
Tese
Cláudio Sá; Carlos Soares; Joaquim Costa
On the average size of pd automata: an analytic combinatorics approach (2010)
Relatório Técnico
Sabine Broda; António Machiavelo; Nelma Moreira; Rogério Reis
On Covering Path Orthogonal Polygons (preliminary version) (2016)
Relatório Técnico
Ana Paula Tomás; Catarina Lobo Ferreira
Emparelhamentos, Casamentos Estáveis e Algoritmos de Colocação de Professores. (2005)
Relatório Técnico
Ana Paula Tomás

Ver todas (138)

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-09-08 às 23:35:41 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico