| 2008 |
|---|
| 9 | EE | Joanna Golinska-Pilarek,
Angel Mora,
Emilio Muñoz-Velasco:
An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.
PRICAI 2008: 128-139 |
| 8 | 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 |
|---|
| 7 | | Angel Mora,
Manuel Enciso:
A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information.
ICEIS (1) 2006: 302-305 |
| 2004 |
|---|
| 6 | EE | Carlos Rossi,
Manuel Enciso,
Angel Mora:
A First Order Temporal Logic for Behavior Representation.
IBERAMIA 2004: 408-418 |
| 5 | | 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 |
| 4 | 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 |
| 2003 |
|---|
| 3 | 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 |
|---|
| 2 | 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 |
| 1 | | Manuel Enciso,
Angel Mora:
FD3: A Functional Dependencies Data Dictionary.
ICEIS 2002: 807-810 |
