Domenico Cantone

No bio available. Add one in Open Library.

Books by Domenico Cantone (50 max)

+ shelf+ list

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

2001

Domenico Cantone, Eugenio Omodeo, Alberto Policriti

+ shelf+ list

Computational Logic and Set Theory

2005

Jacob T. T. Schwartz, Martin Davis, Domenico Cantone, Eugenio G. Omodeo

+ shelf+ list

Computable set theory

1989

Domenico Cantone, Alfredo Ferro, Eugenio Omodeo

+ shelf+ list

An Introduction to the Technique of Formative Processes in Set Theory

2018

Domenico Cantone, Pietro Ursino

+ shelf+ list

From Computational Logic to Computational Biology: Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career

2024

Domenico Cantone, Alfredo Pulvirenti