| 2008 |
|---|
| 12 | EE | Pablo Cordero,
Angel Mora,
Inman P. de Guzmán,
Manuel Enciso:
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases.
Discrete Applied Mathematics 156(6): 911-923 (2008) |
| 2006 |
|---|
| 11 | EE | Gabriel Aguilera,
Alfredo Burrieza,
Pablo Cordero,
Inmaculada Perez de Guzmán,
Emilio Muñoz-Velasco:
MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies.
IBERAMIA-SBIA 2006: 602-611 |
| 2005 |
|---|
| 10 | EE | Javier Martínez,
Gloria Gutiérrez,
Inmaculada Perez de Guzmán,
Pablo Cordero:
Generalizations of lattices via non-deterministic operators.
Discrete Mathematics 295(1-3): 107-141 (2005) |
| 2004 |
|---|
| 9 | | Angel Mora,
Manuel Enciso,
Pablo Cordero,
Inman P. de Guzmán,
J. Guerrero:
A/D Case: A New Heart for FD3.
ICEIS (1) 2004: 482-490 |
| 8 | EE | Gabriel Aguilera,
Pablo Cordero,
Manuel Enciso,
Angel Mora,
Inmaculada Perez de Guzmán:
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.
SBIA 2004: 31-40 |
| 7 | EE | Pablo Cordero,
Gloria Gutiérrez,
Javier Martínez,
Inmaculada Perez de Guzmán:
A New Algebraic Tool for Automatic Theorem Provers.
Ann. Math. Artif. Intell. 42(4): 369-398 (2004) |
| 2003 |
|---|
| 6 | EE | Angel Mora,
Manuel Enciso,
Pablo Cordero,
Inmaculada Perez de Guzmán:
An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm.
CAEPIA 2003: 136-146 |
| 2002 |
|---|
| 5 | EE | Pablo Cordero,
Manuel Enciso,
Angel Mora,
Inman P. de Guzmán:
SLFD Logic: Elimination of Data Redundancy in Knowledge Representation.
IBERAMIA 2002: 141-150 |
| 4 | EE | Pablo Cordero,
Manuel Enciso,
Inman P. de Guzmán:
Bases for closed sets of implicants and implicates in temporal logic.
Acta Inf. 38(9): 599-619 (2002) |
| 3 | EE | Pablo Cordero,
Manuel Enciso,
Inmaculada Perez de Guzmán:
From the Poset of Temporal Implicates/implicants to a Temporal Negative Form.
Reports on Mathematical Logic 36: 3-53 (2002) |
| 2000 |
|---|
| 2 | | Inman P. de Guzmán,
Manuel Enciso,
Pablo Cordero:
A temporal negative normal form which preserves implicants and implicates.
Journal of Applied Non-Classical Logics 10(3-4): (2000) |
| 1999 |
|---|
| 1 | | Inman P. de Guzmán,
Pablo Cordero,
Manuel Enciso:
Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic.
EPIA 1999: 193-207 |
