| 2005 |
|---|
| 4 | EE | Javier Martínez,
Gloria Gutiérrez,
Inmaculada Perez de Guzmán,
Pablo Cordero:
Generalizations of lattices via non-deterministic operators.
Discrete Mathematics 295(1-3): 107-141 (2005) |
| 2004 |
|---|
| 3 | EE | Pablo Cordero,
Gloria Gutiérrez,
Javier Martínez,
Inmaculada Perez de Guzmán:
A New Algebraic Tool for Automatic Theorem Provers.
Ann. Math. Artif. Intell. 42(4): 369-398 (2004) |
| 2002 |
|---|
| 2 | | 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.
Studia Logica 72(1): 85-112 (2002) |
| 2000 |
|---|
| 1 | EE | 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.
JELIA 2000: 179-192 |
