Autor der Publikation

A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning.

, und . TABLEAUX, Volume 1847 von Lecture Notes in Computer Science, Seite 143-159. 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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case., , und . J. Autom. Reasoning, 33 (3-4): 251-269 (2004)A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning., und . TABLEAUX, Volume 1847 von Lecture Notes in Computer Science, Seite 143-159. Springer, (2000)A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification., und . TABLEAUX, Volume 1617 von Lecture Notes in Computer Science, Seite 97-112. Springer, (1999)Combining Sets with Integers.. FroCoS, Volume 2309 von Lecture Notes in Computer Science, Seite 103-116. Springer, (2002)Socio-Legal Analysis of Criminal Sentences: A Preliminary Study., , , und . ICWSM, The AAAI Press, (2010)A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership., , und . J. Autom. Reasoning, 34 (1): 49-72 (2005)Combining Sets with Cardinals.. J. Autom. Reasoning, 34 (1): 1-29 (2005)Combining Nonstably Infinite Theories., und . J. Autom. Reasoning, 34 (3): 209-238 (2005)Subjective Collaborative Filtering, , und . CoRR, (2011)Combining Decision Procedures., und . 10th Anniversary Colloquium of UNU/IIST, Volume 2757 von Lecture Notes in Computer Science, Seite 381-422. Springer, (2002)