Inmaculada Perez de Guzmn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2009–2022
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | AiML | A multi-modal logic for Galois connections. | Inmaculada Perez de Guzmn, Antonio Yuste-Ginel, Alfredo Burrieza |
| 2019 | TIME | Simplifying Inductive Schemes in Temporal Logic. | Pablo Cordero, Inmaculada Fortes, Inmaculada Perez de Guzmn, Sixto Snchez |
| 2011 | IWANN | An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies. | Pablo Cordero, Manuel Enciso, ngel Mora, Inmaculada Perez de Guzmn, Jos Manuel Rodrguez-Jimnez |
| 2009 | IWANN | A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations. | Pablo Cordero, Manuel Enciso, ngel Mora, Inmaculada Perez de Guzmn |