( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Computing Equilibrium Models Using Signed Formulas.

, , и . Computational Logic, том 1861 из Lecture Notes in Computer Science, стр. 688-702. Springer, (2000)

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.

Carlos Guzmán

Alvaro Rivas Guzmán

Henry Guzmán Bulla

Alexander Guzmán Monsalve

Francisco Digón Guzmán

 

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

Computing Equilibrium Models Using Signed Formulas., , и . Computational Logic, том 1861 из Lecture Notes in Computer Science, стр. 688-702. Springer, (2000)TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving., , и . JELIA, том 838 из Lecture Notes in Computer Science, стр. 198-216. Springer, (1994)Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics., , и . IBERAMIA, том 2527 из Lecture Notes in Computer Science, стр. 161-171. Springer, (2002)Reductions for non-clausal theorem proving., , , и . Theor. Comput. Sci., 266 (1-2): 81-112 (2001)Satisfiability Testing for Boolean Formulas Using Delta-trees., , , , и . Stud Logica, 72 (1): 85-112 (2002)Bases for closed sets of implicants and implicates in temporal logic., , и . Acta Inf., 38 (9): 599-619 (2002)Increasing the efficiency of automated theorem proving., , и . J. Appl. Non Class. Logics, 5 (1): 9-29 (1995)A temporal negative normal form which preserves implicants and implicates., , и . J. Appl. Non Class. Logics, 10 (3-4): 243-272 (2000)Temporal Reasoning over Linear Discrete Time., , и . JELIA, том 1126 из Lecture Notes in Computer Science, стр. 303-319. Springer, (1996)Generalization of some properties of relations in the context of functional temporal×modal logic., , и . Int. J. Comput. Math., 85 (3&4): 371-383 (2008)