SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Inman P. de Guzmán: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

Gabriel Aguilera, J. L. Galan, Inman P. de Guzmán, Manuel Ojeda-Aciego
TAS-D++ vs tablas semanticas. [Citation Graph (0, 0)][DBLP]
GULP-PRODE (2), 1994, pp:438-439 [Conf]
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]
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Restricted Delta-Trees in Multiple-Valued Logics. [Citation Graph (0, 0)][DBLP]
AIMSA, 2002, pp:223-232 [Conf]
David Pearce, Inman P. de Guzmán, Agustín Valverde
Computing Equilibrium Models Using Signed Formulas. [Citation Graph (0, 0)][DBLP]
Computational Logic, 2000, pp:688-702 [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]
Alfredo Burrieza, Inman P. de Guzmán
A Temporal × Modal Approach to the Definability of Properties of Functions. [Citation Graph (0, 0)][DBLP]
FroCos, 2002, pp:239-254 [Conf]
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. [Citation Graph (0, 0)][DBLP]
IBERAMIA, 2002, pp:161-171 [Conf]
Pablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán
SL_FD Logic: Elimination of Data Redundancy in Knowledge Representation. [Citation Graph (0, 0)][DBLP]
IBERAMIA, 2002, pp:141-150 [Conf]
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Multiple-Valued Tableaux with delta-reductions. [Citation Graph (0, 0)][DBLP]
IC-AI, 1999, pp:177-183 [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]
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego
TAS-D⁺⁺: Syntactic Trees Transformations for Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
JELIA, 1994, pp:198-216 [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]
Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
Reduction Theorems for Boolean Formulas Using Delta-Trees. [Citation Graph (0, 0)][DBLP]
JELIA, 2000, pp:179-192 [Conf]
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Implicates and Reduction Techniques for Temporal Logics. [Citation Graph (0, 0)][DBLP]
JELIA, 1998, pp:309-323 [Conf]
David Pearce, Inman P. de Guzmán, Agustín Valverde
A Tableau Calculus for Equilibrium Entailment. [Citation Graph (0, 0)][DBLP]
TABLEAUX, 2000, pp:352-367 [Conf]
Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz
Indexed Flows in Temporal x Modal Logic with Functional Semantics. [Citation Graph (0, 0)][DBLP]
TIME, 2002, pp:146-0 [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]
Alfredo Burrieza, Inman P. de Guzmán
A functional approach for temporal × modal logics. [Citation Graph (0, 0)][DBLP]
Acta Inf., 2003, v:39, n:2, pp:71-96 [Journal]
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories [Citation Graph (0, 0)][DBLP]
Acta Inf., 1995, v:32, n:1, pp:61-78 [Journal]
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Implicates and reduction techniques for temporal logics. [Citation Graph (0, 0)][DBLP]
Ann. Math. Artif. Intell., 1999, v:27, n:1-4, pp:3-23 [Journal]
Inman P. de Guzmán, Peter G. Harrison, E. Medina
Pipelines for Divide-and-Conquer Functions. [Citation Graph (0, 0)][DBLP]
Comput. J., 1993, v:36, n:3, pp:254-268 [Journal]
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego
Increasing the efficiency of automated theorem proving. [Citation Graph (0, 0)][DBLP]
Journal of Applied Non-Classical Logics, 1995, v:5, n:1, pp:- [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]
Alfredo Burrieza, Inman P. de Guzmán
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time. [Citation Graph (0, 0)][DBLP]
Journal of Applied Non-Classical Logics, 1992, v:2, n:2, pp:- [Journal]
Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
Satisfiability Testing for Boolean Formulas Using Delta-trees. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2002, v:72, n:1, pp:85-112 [Journal]
Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira
Preface. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2002, v:72, n:1, pp:3-5 [Journal]
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Reducing signed propositional formulas. [Citation Graph (0, 0)][DBLP]
Soft Comput., 1998, v:2, n:4, pp:157-166 [Journal]
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Reductions for non-clausal theorem proving. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2001, v:266, n:1-2, pp:81-112 [Journal]
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. [Citation Graph (, )][DBLP]

Search in 0.057secs, Finished in 0.059secs

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