( en | de | ru )

 

Disambiguation of "de Guzmán, Inmaculada Perez"

Author of the publication

copydeleteadd this publication to your clipboard
Completeness of a functional system for surjective functions.

, , and . Math. Log. Q., 63 (6): 574-597 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Maria Dolores Pérez-Guzmán

Maria Dolores Pérez-Guzmán

Carlos Guzmán

Alvaro Rivas Guzmán

Henry Guzmán Bulla

 

Other publications of authors with the same name

LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches., and . Logic Journal of the IGPL, 3 (5): 745-764 (1995)Completeness of a functional system for surjective functions., , and . Math. Log. Q., 63 (6): 574-597 (2017)A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic., , , , and . SBIA, volume 3171 of Lecture Notes in Computer Science, page 31-40. Springer, (2004)Specification and inference of fuzzy attributes., , , , and . FOCI, page 107-114. IEEE, (2011)A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations., , , and . IWANN (1), volume 5517 of Lecture Notes in Computer Science, page 261-269. Springer, (2009)From the Poset of Temporal Implicates/implicants to a Temporal Negative Form., , and . Reports Math. Log., (2002)A multi-modal logic for Galois connections., , and . AiML, page 155-176. College Publications, (2022)An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies., , , , and . IWANN (2), volume 6692 of Lecture Notes in Computer Science, page 412-420. Springer, (2011)Simplifying Inductive Schemes in Temporal Logic., , , and . TIME, volume 147 of LIPIcs, page 19:1-19:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm., , , and . CAEPIA, volume 3040 of Lecture Notes in Computer Science, page 136-146. Springer, (2003)