Search the dblp DataBase

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. Gabriel Aguilera, Alfredo Burrieza, Pablo Cordero, Inmaculada Perez de Guzmán, Emilio Muñoz
   MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies. [Citation Graph (0, 0)][DBLP]
   IBERAMIA-SBIA, 2006, pp:602-611 [Conf]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. 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]
   
7. 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]