BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cantone:Domenico

Contributed to:

CSL 20112011
CSL 19901990
CSL 19891989

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.