Author of the publication

An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics.

, , and . Theory and Applications of Relational Structures as Knowledge Instruments, volume 4342 of Lecture Notes in Computer Science, Springer, (2006)

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

Theory-Specific Automated Reasoning., and . 25 Years GULP, volume 6125 of Lecture Notes in Computer Science, Springer, (2010)Automation of Aggregate Theories: The Cornerstones of Equational Expressibility., , and . APPIA-GULP-PRODE, page 275-. Facultad de Informática, Universidad Politécnica de Madrid, (2002)Instructing Equational Set-Reasoning with Otter., , and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 152-167. Springer, (2001)Mapping Sets and Hypersets into Numbers., , , and . Fundam. Informaticae, 140 (3-4): 307-328 (2015)An Environment for Stepwise Map Specification and Reasoning in Prolog I: Three Language Extension Mechanisms., , and . APPIA-GULP-PRODE, page 87-. Facultad de Informática, Universidad Politécnica de Madrid, (2002)Set-syllogistics meet combinatorics., , and . Math. Struct. Comput. Sci., 27 (2): 296-310 (2017)Set Graphs. V. On representing graphs as membership digraphs., and . J. Log. Comput., 25 (3): 899-919 (2015)Decidability of ∃*∀-Sentences in Membership Theories., , and . Math. Log. Q., (1996)The Bernays - Schönfinkel - Ramsey class for set theory: decidability., and . J. Symb. Log., 77 (3): 896-918 (2012)Rasiowa-Sikorski Style Relational Elementary Set Theory., , and . RelMiCS, volume 3051 of Lecture Notes in Computer Science, page 215-226. Springer, (2003)