|
| |
10/5/2006 09:00 - 10:30
PROLE Sesión 4: Narrowing
|
ThM3
Room: Astor
Chair: Salvador Lucas
|
Elimination of Extra Variables in Functional Logic Programs
J. de Dios Castro, F. López-Fraguas
Formal Properties of Needed Narrowing with Similarity Relations
G. Moreno, V. Pascual
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
S. Estévez-Martín, A.J. Fernández, T. Hortalá-González, M. Rodríguez-Artalejo, F. Sáenz-Pérez, R. del Vado-Vírseda
|
|
|
|
