
Search the dblp DataBase
Gloria Gutiérrez:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel OjedaAciego, Agustín Valverde
Reduction Theorems for Boolean Formulas Using DeltaTrees. [Citation Graph (0, 0)][DBLP] JELIA, 2000, pp:179192 [Conf]
 Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán
A New Algebraic Tool for Automatic Theorem Provers. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2004, v:42, n:4, pp:369398 [Journal]
 Javier Martínez, Gloria Gutiérrez, Inmaculada Perez de Guzmán, Pablo Cordero
Generalizations of lattices via nondeterministic operators. [Citation Graph (0, 0)][DBLP] Discrete Mathematics, 2005, v:295, n:13, pp:107141 [Journal]
 Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel OjedaAciego, Agustín Valverde
Satisfiability Testing for Boolean Formulas Using Deltatrees. [Citation Graph (0, 0)][DBLP] Studia Logica, 2002, v:72, n:1, pp:85112 [Journal]
On Congruences and Homomorphisms on Some Nondeterministic Algebras. [Citation Graph (, )][DBLP]
Congruence relations on some hyperstructures. [Citation Graph (, )][DBLP]
Search in 0.017secs, Finished in 0.017secs
