| 2008 |
|---|
| 16 | 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 |
|---|
| 15 | | Angel Mora,
Manuel Enciso:
A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information.
ICEIS (1) 2006: 302-305 |
| 2004 |
|---|
| 14 | EE | Carlos Rossi,
Manuel Enciso,
Angel Mora:
A First Order Temporal Logic for Behavior Representation.
IBERAMIA 2004: 408-418 |
| 13 | | 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 |
| 12 | 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 |
| 11 | EE | Carlos Rossi,
Manuel Enciso,
Inmaculada Perez de Guzmán:
Formalization of UML state machines using temporal logic.
Software and System Modeling 3(1): 31-54 (2004) |
| 2003 |
|---|
| 10 | 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 |
|---|
| 9 | 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 |
| 8 | | Manuel Enciso,
Angel Mora:
FD3: A Functional Dependencies Data Dictionary.
ICEIS 2002: 807-810 |
| 7 | 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) |
| 6 | 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 |
|---|
| 5 | | 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 |
|---|
| 4 | | Inman P. de Guzmán,
Pablo Cordero,
Manuel Enciso:
Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic.
EPIA 1999: 193-207 |
| 1996 |
|---|
| 3 | | Manuel Enciso,
J. F. Moncada,
Inman P. de Guzmán,
Manuel Ojeda-Aciego:
Executing Intensional Logic with the TAS Tool.
APPIA-GULP-PRODE 1996: 561-566 |
| 2 | | Manuel Enciso,
Inman P. de Guzmán,
Carlos Rossi:
Temporal Reasoning over Linear Discrete Time.
JELIA 1996: 303-319 |
| 1994 |
|---|
| 1 | | Manuel Enciso,
Inman P. de Guzmán,
Carlos Rossi:
A Temporal Logic for Program Specification.
GULP-PRODE (2) 1994: 309-323 |
