| 2008 |
|---|
| 5 | EE | Paqui Lucio,
Fernando Orejas,
Edelmira Pasarella,
Elvira Pino:
A Functorial Framework for Constraint Normal Logic Programming.
Applied Categorical Structures 16(3): 421-450 (2008) |
| 2006 |
|---|
| 4 | EE | Paqui Lucio,
Fernando Orejas,
Edelmira Pasarella,
Elvira Pino:
A Functorial Framework for Constraint Normal Logic Programming.
Essays Dedicated to Joseph A. Goguen 2006: 555-577 |
| 2005 |
|---|
| 3 | EE | Edelmira Pasarella,
Fernando Orejas,
Elvira Pino,
Marisa Navarro:
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.
LOPSTR 2005: 133-146 |
| 2001 |
|---|
| 2 | EE | Fernando Orejas,
Edelmira Pasarella,
Elvira Pino:
Semantics of Normal Logic Programs with Embedded Implications.
ICLP 2001: 255-268 |
| 2000 |
|---|
| 1 | | Edelmira Pasarella,
Elvira Pino,
Fernando Orejas:
Constructive negation without subsidiary trees.
WFLP 2000: 195-209 |
