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/04/2006    09:00 - 10:30
PROLE Sesión 1: Semantics
WM3
Room: Astor
Chair: Jesús Almendros
A Functorial Framework for Constraint Normal Logic Programming
P. Lucio, F. Orejas, E. Pasarella, E. Pino


Relating Two Semantic Descriptions of Functional Logic Languages
F. López-Fraguas, J. Rodríguez Hortalá, J. Sánchez Hernández


A Set Oriented Calculus for Logic Programming
R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez