dblp.uni-trier.dewww.uni-trier.de

Gloria Gutiérrez

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
4EEJavier 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
3EEPablo 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
1EEGloria 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

Coauthor Index

1Pablo Cordero [3] [4]
2Inmaculada Perez de Guzmán [3] [4]
3Inman P. de Guzmán [1] [2]
4Javier Martínez [1] [2] [3] [4]
5Manuel Ojeda-Aciego [1] [2]
6Agustín Valverde [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)