Cantone, Domenico.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Set theory for computing :from decision procedures to declarative programming with sets /
by:
Cantone, Domenico.; Omodeo, Eugenio.; Policriti, Alberto.
(Language materials, printed)
An introduction to the technique of formative processes in set theory
by:
Cantone, Domenico.; SpringerLink (Online service); Ursino, Pietro.
(Electronic resources)
Computational logic and set theoryapplying formalized logic to analysis /
by:
Cantone, Domenico.; Omodeo, Eugenio G.; Schwartz, Jacob T.; SpringerLink (Online service)
(Electronic resources)
From computational logic to computational biologyessays dedicated to Alfredo Ferro to celebrate his scientific career /
by:
Cantone, Domenico.; Ferro, Alfredo.; Pulvirenti, Alfredo.; SpringerLink (Online service)
(Electronic resources)