Author of the publication

Temporal Reasoning over Linear Discrete Time.

, , and . JELIA, volume 1126 of Lecture Notes in Computer Science, page 303-319. Springer, (1996)

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.

 

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)Bases for closed sets of implicants and implicates in temporal logic., , and . Acta Inf., 38 (9): 599-619 (2002)A temporal negative normal form which preserves implicants and implicates., , and . J. Appl. Non Class. Logics, 10 (3-4): 243-272 (2000)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)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)Increasing the efficiency of automated theorem proving., , and . J. Appl. Non Class. Logics, 5 (1): 9-29 (1995)Satisfiability Testing for Boolean Formulas Using Delta-trees., , , , and . Stud Logica, 72 (1): 85-112 (2002)A Tableau Calculus for Equilibrium Entailment., , and . TABLEAUX, volume 1847 of Lecture Notes in Computer Science, page 352-367. Springer, (2000)