The SCEAS System
Navigation Menu

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

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]

  30. Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. [Citation Graph (, )][DBLP]


Search in 0.401secs, Finished in 0.402secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002