Search the dblp DataBase
Manuel Enciso: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Manuel Enciso, Inman P. de Guzmán, Carlos Rossi
A Temporal Logic for Program Specification. [Citation Graph (0, 0)][DBLP]
GULP-PRODE (2), 1994, pp:309-323 [Conf] - Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego
Executing Intensional Logic with the TAS Tool. [Citation Graph (0, 0)][DBLP]
APPIA-GULP-PRODE, 1996, pp:561-566 [Conf] - Angel Mora, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán
An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm. [Citation Graph (0, 0)][DBLP]
CAEPIA, 2003, pp:136-146 [Conf] - Inman P. de Guzmán, Pablo Cordero, Manuel Enciso
Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. [Citation Graph (0, 0)][DBLP]
EPIA, 1999, pp:193-207 [Conf] - Pablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán
SLFD Logic: Elimination of Data Redundancy in Knowledge Representation. [Citation Graph (0, 0)][DBLP]
IBERAMIA, 2002, pp:141-150 [Conf] - Carlos Rossi, Manuel Enciso, Angel Mora
A First Order Temporal Logic for Behavior Representation. [Citation Graph (0, 0)][DBLP]
IBERAMIA, 2004, pp:408-418 [Conf] - Manuel Enciso, Angel Mora
FD3: A Functional Dependencies Data Dictionary. [Citation Graph (0, 0)][DBLP]
ICEIS, 2002, pp:807-810 [Conf] - Angel Mora, Manuel Enciso
A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information. [Citation Graph (0, 0)][DBLP]
ICEIS (1), 2006, pp:302-305 [Conf] - Angel Mora, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero
A/D Case: A New Heart for FD3. [Citation Graph (0, 0)][DBLP]
ICEIS (1), 2004, pp:482-490 [Conf] - Manuel Enciso, Inman P. de Guzmán, Carlos Rossi
Temporal Reasoning over Linear Discrete Time. [Citation Graph (0, 0)][DBLP]
JELIA, 1996, pp:303-319 [Conf] - Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. [Citation Graph (0, 0)][DBLP]
SBIA, 2004, pp:31-40 [Conf] - Pablo Cordero, Manuel Enciso, Inman P. de Guzmán
Bases for closed sets of implicants and implicates in temporal logic. [Citation Graph (0, 0)][DBLP]
Acta Inf., 2002, v:38, n:9, pp:599-619 [Journal] - Inman P. de Guzmán, Manuel Enciso, Pablo Cordero
A temporal negative normal form which preserves implicants and implicates. [Citation Graph (0, 0)][DBLP]
Journal of Applied Non-Classical Logics, 2000, v:10, n:3-4, pp:- [Journal] - Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán
Formalization of UML state machines using temporal logic. [Citation Graph (0, 0)][DBLP]
Software and System Modeling, 2004, v:3, n:1, pp:31-54 [Journal] - Pablo Cordero, Manuel Enciso, Inmaculada Perez de Guzmán
From the Poset of Temporal Implicates/implicants to a Temporal Negative Form. [Citation Graph (0, 0)][DBLP]
Reports on Mathematical Logic, 2002, v:36, n:, pp:3-53 [Journal]
A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations. [Citation Graph (, )][DBLP]
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002