Inmaculada Pérez de Guzmán Molina

Full Professor

website scholar github
Recent publications

Functional systems in the context of temporal{}modal logics with indexed flows

2009
Alfredo Burrieza, Inma P. de Guzmán, Emilio Muñoz Velasco
Int. J. Comput. Math. vol. 86 (10{&}11), pages 1696–1706.

Generalization of some properties of relations in the context of functional temporal{}modal logic

2008
Alfredo Burrieza, Inma P. de Guzmán, Emilio Muñoz Velasco
Int. J. Comput. Math. vol. 85 (3{&}4), pages 371–383.

Non-deterministic ideal operators: An adequate tool for formalization in Data Bases

2008
Pablo Cordero, Ángel Mora, Inma P. de Guzmán, Manuel Enciso
Discret. Appl. Math. vol. 156 (6), pages 911–923.

Restricted ideals and the groupability property. Tools for temporal reasoning

2003
Javier Martínez, Pablo Cordero, Gloria Gutiérrez, Inma P. de Guzmán
Kybernetika vol. 39 (5), pages 521–546.

Bases for closed sets of implicants and implicates in temporal logic

2002
Pablo Cordero, Manuel Enciso, Inma P. de Guzmán
Acta Informatica vol. 38 (9), pages 599–619.

From the Poset of Temporal Implicates/implicants to a Temporal Negative Form

2002
Pablo Cordero, Manuel Enciso, Inma P. de Guzmán
Reports Math. Log. vol. 36 , pages 3–53.

Preface

2002
Manuel Ojeda-Aciego, Gerhard Brewka, Inma P. de Guzmán, Luís Moniz Pereira
Stud Logica vol. 72 (1), pages 3–5.

Satisfiability Testing for Boolean Formulas Using Delta-trees

2002
Gloria Gutiérrez, Inma P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
Stud Logica vol. 72 (1), pages 85–112.

Reductions for non-clausal theorem proving

2001
Gabriel Aguilera, Inma P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Theor. Comput. Sci. vol. 266 (1-2), pages 81–112.

A temporal negative normal form which preserves implicants and implicates

2000
Inma P. de Guzmán, Manuel Enciso, Pablo Cordero
J. Appl. Non Class. Logics vol. 10 (3-4), pages 243–272.

Implicates and reduction techniques for temporal logics

1999
Inma P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Ann. Math. Artif. Intell. vol. 27 (1-4), pages 3–23.

Reducing signed propositional formulas

1998
Gabriel Aguilera, Inma P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Soft Comput. vol. 2 (4), pages 157–166.

A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories

1995
Inma P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Acta Informatica vol. 32 (1), pages 61–78.

Increasing the efficiency of automated theorem proving

1995
Gabriel Aguilera, Inma P. de Guzmán, Manuel Ojeda-Aciego
J. Appl. Non Class. Logics vol. 5 (1), pages 9–29.
No matching items