dblp.uni-trier.dewww.uni-trier.de

Cláudio Silva

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EEPablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha: An Improved Continuation Call-Based Implementation of Tabling. PADL 2008: 197-213
2007
2EERicardo Rocha, Cláudio Silva, Ricardo Lopes: On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. ICLP 2007: 444-445
2006
1EECláudio Silva, Ricardo Rocha, Ricardo Lopes: An External Module for Implementing Linear Tabling in Prolog. ICLP 2006: 429-430

Coauthor Index

1Manuel Carro [3]
2Pablo Chico de Guzmán [3]
3Manuel V. Hermenegildo [3]
4Ricardo Lopes [1] [2]
5Ricardo Rocha [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)