( en | de | ru )

 

Disambiguation of "de Guzmán, Inmaculada Perez"

Author of the publication

copydeleteadd this publication to your clipboard
Formalization of UML state machines using temporal logic.

, , and . Softw. Syst. Model., 3 (1): 31-54 (2004)

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

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)Formalization of UML state machines using temporal logic., , and . Softw. Syst. Model., 3 (1): 31-54 (2004)Una forma normal temporal independiente del método de deducción., , and . Inteligencia Artif., 8 (23): 27-45 (2004)Completeness of a functional system for surjective functions., , and . Math. Log. Q., 63 (6): 574-597 (2017)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)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)A new closure algorithm based in logic: SLFD-Closure versus classical closures., , , , and . Inteligencia Artif., 10 (31): 31-40 (2006)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)MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies., , , , and . IBERAMIA-SBIA, volume 4140 of Lecture Notes in Computer Science, page 602-611. Springer, (2006)