2008 | ||
---|---|---|
3 | EE | Pablo 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 | ||
2 | EE | Ricardo Rocha, Cláudio Silva, Ricardo Lopes: On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. ICLP 2007: 444-445 |
2006 | ||
1 | EE | Cláudio Silva, Ricardo Rocha, Ricardo Lopes: An External Module for Implementing Linear Tabling in Prolog. ICLP 2006: 429-430 |
1 | Manuel Carro | [3] |
2 | Pablo Chico de Guzmán | [3] |
3 | Manuel V. Hermenegildo | [3] |
4 | Ricardo Lopes | [1] [2] |
5 | Ricardo Rocha | [1] [2] [3] |