Number of items: 4.
Article
Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2008) A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. Lecture Notes in Computer Science, 5366 . 795- 800. ISSN 0302-9743
Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente and Silva, Cláudio and Rocha, Ricardo (2008) An Improved Continuation Call-Based Implementation of Tabling. Lecture Notes in Computer Science, 4902 . 197- 213. ISSN 0302-9743
Presentation at Congress or Day
Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2009) A Tabling Implementation Based on Variables with Multiple Bindings. In: 25th International Conference on Logic Programming, ICLP '09, 14/07/2009 - 17/07/2009, Pasadena, California, EEUU.
Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2009) Towards a Complete Scheme for Tabled Execution Based on Program Transformation. In: 11th International Symposium Practical Aspects of Declarative Languages, PADL 2009, 19/01/2009 - 20/01/2009, Savannah, Georgia, EEUU.
This list was generated on Fri May 25 02:37:40 2012 CEST.
