2006 |
7 | EE | Gabriel Aguilera,
Alfredo Burrieza,
Pablo Cordero,
Inmaculada Perez de Guzmán,
Emilio Muñoz-Velasco:
MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies.
IBERAMIA-SBIA 2006: 602-611 |
2004 |
6 | EE | Gabriel Aguilera,
Pablo Cordero,
Manuel Enciso,
Angel Mora,
Inmaculada Perez de Guzmán:
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.
SBIA 2004: 31-40 |
2001 |
5 | EE | Gabriel Aguilera,
Inman P. de Guzmán,
Manuel Ojeda-Aciego,
Agustín Valverde:
Reductions for non-clausal theorem proving.
Theor. Comput. Sci. 266(1-2): 81-112 (2001) |
1998 |
4 | EE | Gabriel Aguilera,
Inman P. de Guzmán,
Manuel Ojeda-Aciego,
Agustín Valverde:
Reducing signed propositional formulas.
Soft Comput. 2(4): 157-166 (1998) |
1995 |
3 | | Gabriel Aguilera,
Inman P. de Guzmán,
Manuel Ojeda-Aciego:
Increasing the efficiency of automated theorem proving.
Journal of Applied Non-Classical Logics 5(1): (1995) |
1994 |
2 | | Gabriel Aguilera,
J. L. Galan,
Inman P. de Guzmán,
Manuel Ojeda-Aciego:
TAS-D++ vs tablas semanticas.
GULP-PRODE (2) 1994: 438-439 |
1 | | Gabriel Aguilera,
Inman P. de Guzmán,
Manuel Ojeda-Aciego:
TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving.
JELIA 1994: 198-216 |