skip to main content
Mostrar Somente
Refinado por: autor: Rocha, Ricardo remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

The YAP Prolog System

Costa, Vítor Santos ; Damas, Luís ; Rocha, Ricardo

Texto completo disponível

2
Material Type:
Artigo
Adicionar ao Meu Espaço

A Linear Logic Programming Language for Concurrent Programming over Graph Structures

Cruz, Flavio ; Rocha, Ricardo ; Goldstein, Seth Copen ; Pfenning, Frank

Theory and Practice of Logic Programming 14 (2014) 493-507 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

Efficient Support for Mode-Directed Tabling in the YapTab Tabling System

Santos, João ; Rocha, Ricardo

Texto completo disponível

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation

Areias, Miguel ; Rocha, Ricardo

Texto completo disponível

5
Material Type:
Artigo
Adicionar ao Meu Espaço

Towards Multi-Threaded Local Tabling Using a Common Table Space

Areias, Miguel ; Rocha, Ricardo

Theory and Practice of Logic Programming, Volume 12, Special Issue 4-5, 2012, pp 427-443 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling

Areias, Miguel ; Rocha, Ricardo

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

Tabling, Rational Terms, and Coinduction Finally Together!

Mantadelis, Thepfrastos ; Rocha, Ricardo ; Moura, Paulo

Theory and Practice of Logic Programming 14 (2014) 429-443 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
8
Material Type:
Artigo
Adicionar ao Meu Espaço

Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems

Rocha, Ricardo ; Have, Christian Theil

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs

Cruz, Flavio ; Rocha, Ricardo

Theory and Practice of Logic Programming, Volume 11, Special Issue 4-5, July 2011, pp 697-712 Published Cambridge University Press 2011 [Periódico revisado por pares]

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores

Vieira, Rui ; Rocha, Ricardo ; Silva, Fernando

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (6)

Buscando em bases de dados remotas. Favor aguardar.