Go to:
Logótipo
Você está em: Start > Publications > View > Mixed-Strategies for Linear Tabling in Prolog
Map of Premises
Principal
Publication

Mixed-Strategies for Linear Tabling in Prolog

Title
Mixed-Strategies for Linear Tabling in Prolog
Type
Article in International Conference Proceedings Book
Year
2010
Authors
MIGUEL AREIAS
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Ricardo Rocha
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Scientific classification
FOS: Natural sciences > Computer and information sciences
CORDIS: Physical sciences > Computer science
Other information
Language: English
Type (Professor's evaluation): Scientific
Contact: rlrocha@fc.up.pt
Notes: Editors: L. S. Barbosa and M. P. Correia
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

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

See all (30)

Of the same scientific areas

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

See all (138)

Recommend this page Top
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-18 at 08:06:05 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book