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:
201119901989Wrote 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.