`Travelled to:`

1 × Norway

2 × Germany

`Collaborated with:`

V.Cutello C.Longo M.N.Asmundo J.T.Schwartz A.Policriti

`Talks about:`

set (3) problem (2) quantifi (1) presburg (1) fragment (1) descript (1) arithmet (1) theoret (1) hilbert (1) theori (1)

## Person: Domenico Cantone

### DBLP: Cantone:Domenico

### Contributed to:

### Wrote 3 papers:

- CSL-2011-CantoneLA #decidability #logic #order #quantifier #set
- A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics (DC, CL, MNA), pp. 129–143.
- CSL-1990-CantoneCS #problem #set
- Decision Problems for Tarski and Presburger Arithmetics Extended With Sets (DC, VC, JTS), pp. 95–109.
- CSL-1989-CantoneCP #problem #reduction
- Set-Theoretic Reductions of Hilbert’s Tenth Problem (DC, VC, AP), pp. 65–75.