Presentación
  Temas de interés
  Comités
  Conferencias Invitadas
  Envío de trabajos
  Artículos aceptados
  Fechas importantes
  Lugar de Celebración
  Secretaría
  JISBD 2006
  Programa
      Buscar
      Todas las sesiones
      Horario
  NOVEDADES
 
10/05/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