( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.

, , , , и . SBIA, том 3171 из Lecture Notes in Computer Science, стр. 31-40. Springer, (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.

Maria Dolores Pérez-Guzmán

Maria Dolores Pérez-Guzmán

Carlos Guzmán

Alvaro Rivas Guzmán

Henry Guzmán Bulla

 

Другие публикации лиц с тем же именем

Una forma normal temporal independiente del método de deducción., , и . Inteligencia Artif., 8 (23): 27-45 (2004)Formalization of UML state machines using temporal logic., , и . Softw. Syst. Model., 3 (1): 31-54 (2004)Completeness of a functional system for surjective functions., , и . Math. Log. Q., 63 (6): 574-597 (2017)LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches., и . Logic Journal of the IGPL, 3 (5): 745-764 (1995)A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic., , , , и . SBIA, том 3171 из Lecture Notes in Computer Science, стр. 31-40. Springer, (2004)Specification and inference of fuzzy attributes., , , , и . FOCI, стр. 107-114. IEEE, (2011)A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations., , , и . IWANN (1), том 5517 из Lecture Notes in Computer Science, стр. 261-269. Springer, (2009)A new closure algorithm based in logic: SLFD-Closure versus classical closures., , , , и . Inteligencia Artif., 10 (31): 31-40 (2006)An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm., , , и . CAEPIA, том 3040 из Lecture Notes in Computer Science, стр. 136-146. Springer, (2003)MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies., , , , и . IBERAMIA-SBIA, том 4140 из Lecture Notes in Computer Science, стр. 602-611. Springer, (2006)