( en | de | ru )

 

Disambiguierung von "de Guzmán, Inman P."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Tableau Calculus for Equilibrium Entailment.

, , und . TABLEAUX, Volume 1847 von Lecture Notes in Computer Science, Seite 352-367. Springer, (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Carlos Guzmán

Alvaro Rivas Guzmán

Henry Guzmán Bulla

Alexander Guzmán Monsalve

Francisco Digón Guzmán

 

Weitere Publikationen von Autoren mit dem selben Namen

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