Login / Signup
Rosa Ruggeri Cannata
Publication Activity (10 Years)
Years Active: 1993-2005
Publications (10 Years): 0
</>
Publications
</>
Domenico Cantone
,
Calogero G. Zarba
,
Rosa Ruggeri Cannata
A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership.
J. Autom. Reason.
34 (1) (2005)
Domenico Cantone
,
Rosa Ruggeri Cannata
Proving Set-Theoretic Formulae by a Tableaux Method.
ICLP Workshop on Logic Programming with Sets
(1993)