( en | de | ru )

 

Disambiguation of "de Guzmán, Inman P."

Author of the publication

copydeleteadd this publication to your clipboard
Increasing the efficiency of automated theorem proving.

, , and . J. Appl. Non Class. Logics, 5 (1): 9-29 (1995)

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.

Carlos Guzmán

Alvaro Rivas Guzmán

Henry Guzmán Bulla

Alexander Guzmán Monsalve

Francisco Digón Guzmán

 

Other publications of authors with the same name

Computing Equilibrium Models Using Signed Formulas., , and . Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 688-702. Springer, (2000)TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving., , and . JELIA, volume 838 of Lecture Notes in Computer Science, page 198-216. Springer, (1994)Temporal Reasoning over Linear Discrete Time., , and . JELIA, volume 1126 of Lecture Notes in Computer Science, page 303-319. Springer, (1996)Reductions for non-clausal theorem proving., , , and . Theor. Comput. Sci., 266 (1-2): 81-112 (2001)Satisfiability Testing for Boolean Formulas Using Delta-trees., , , , and . Stud Logica, 72 (1): 85-112 (2002)Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics., , and . IBERAMIA, volume 2527 of Lecture Notes in Computer Science, page 161-171. Springer, (2002)A temporal negative normal form which preserves implicants and implicates., , and . J. Appl. Non Class. Logics, 10 (3-4): 243-272 (2000)Increasing the efficiency of automated theorem proving., , and . J. Appl. Non Class. Logics, 5 (1): 9-29 (1995)A Temporal × Modal Approach to the Definability of Properties of Functions., and . FroCoS, volume 2309 of Lecture Notes in Computer Science, page 239-254. Springer, (2002)Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic., , and . EPIA, volume 1695 of Lecture Notes in Computer Science, page 193-207. Springer, (1999)