Author of the publication

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)

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)Temporal Reasoning over Linear Discrete Time., , and . JELIA, volume 1126 of Lecture Notes in Computer Science, page 303-319. Springer, (1996)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 × 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)Implicates and reduction techniques for temporal logics., , and . Ann. Math. Artif. Intell., 27 (1-4): 3-23 (1999)TAS-D++ vs tablas semanticas., , , and . GULP-PRODE (2), page 438-439. (1994)Indexed Flows in Temporal x Modal Logic with Functional Semantics., , and . TIME, page 146-153. IEEE Computer Society, (2002)Executing Intensional Logic with the TAS Tool., , , and . APPIA-GULP-PRODE, page 561-566. (1996)