Inman P. de Guzmn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1994–2002
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | AIMSA | Restricted Delta-Trees in Multiple-Valued Logics. | Inman P. de Guzmn, Manuel Ojeda-Aciego, Agustn Valverde |
| 2002 | TIME | Indexed Flows in Temporal x Modal Logic with Functional Semantics. | Alfredo Burrieza, Inman P. de Guzmn, Emilio Muoz-Velasco |
| 2000 | JELIA | Reduction Theorems for Boolean Formulas Using Delta-Trees. | Gloria Gutirrez, Inman P. de Guzmn, Javier Martnez, Manuel Ojeda-Aciego, Agustn Valverde |
| 2000 | TABLEAUX | A Tableau Calculus for Equilibrium Entailment. | David Pearce, Inman P. de Guzmn, Agustn Valverde |
| 1999 | EPIA | Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. | Inman P. de Guzmn, Pablo Cordero, Manuel Enciso |
| 1998 | JELIA | Implicates and Reduction Techniques for Temporal Logics. | Inman P. de Guzmn, Manuel Ojeda-Aciego, Agustn Valverde |
| 1996 | JELIA | Temporal Reasoning over Linear Discrete Time. | Manuel Enciso, Inman P. de Guzmn, Carlos Rossi |
| 1994 | JELIA | TAS-D | Gabriel Aguilera, Inman P. de Guzmn, Manuel Ojeda-Aciego |