Mixed-Strategies for Linear Tabling in Prolog

Título

Mixed-Strategies for Linear Tabling in PrologExportar publicação no formato APA Exportar publicação no formato EXCEL Exportar publicação no formato RIS

Tipo

Artigo em Livro de Atas de Conferência Internacional

Data

2010

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

Ata de Conferência Internacional

Título: 4th International Conference on Compilers, Programming Languages, Related Technologies and Applications (CoRTA 2010) Pesquisar Publicações da Ata de Conferência

CoRTA 2010

Braga, Portugal, 09-10 September 2010

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

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

On the implementation of memory reclamation methods in a lock-free hash trie design (2021)
Artigo em Revista Científica Internacional
Moreno, P; Miguel Areias; Ricardo Rocha

Ver todas (28)

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 (137)