|
| |
10/4/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
|
|
|
|
