 | 2006 |
|---|
| 7 |       | 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 | | 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 | | 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 | | 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 |
