turing.dipmat.unict.it
1
Total Links
1
Wikipedia Pages
0
Subdomains
Topics
Related Domains
www.unict.it
www.dipbot.unict.it
www.dmi.unict.it
segr-did2.fmag.unict.it
www.agenda.unict.it
www.gioenia.unict.it
www.bda.unict.it
www.lex.unict.it
www3.unict.it
www.biometec.unict.it
www.disum.unict.it
www.fmag.unict.it
www.iris.unict.it
www.medclin.unict.it
alumni.ssc.unict.it
archivia.unict.it
iplab.dmi.unict.it
lematematiche.dmi.unict.it
www.agendabda.unict.it
atlas.dmi.unict.it
csdle.lex.unict.it
galileo.dmi.unict.it
ojs.unict.it
turing.dipmat.unict.it
www.cespes.unict.it
www.diit.unict.it
www.dsps.unict.it
wwwelfin.diees.unict.it
www.labmicrobiologia.unict.it
www.lavlang28.unict.it
Wikipedia Pages Linking to turing.dipmat.unict.it
Decidable sublanguages of set theory
View on Wikipedia
1 links on this page
Loading...
Wikipedia Links
http://turing.dipmat.unict.it/~cantone/p40-97/restrQuant.ps.gz
Anchor text: "A tableau-based decision procedure for a fragment of set theory involving a restricted form of quantification", by Domenico Cantone, Calogero G. Zarba, Viale A. Doria, 1997