Alfredo Ferro

No bio available. Add one in Open Library.

Books by Alfredo Ferro (50 max)

+ shelf+ list

Decision procedures for elementary sublanguages of set theory. VII. Validity in set theory when a choice operator is present

1986

Alfredo Ferro

+ shelf+ list

Computable set theory

1989

Domenico Cantone, Alfredo Ferro, Eugenio Omodeo

+ shelf+ list

Fun with Algorithms 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings

2014

Alfredo Ferro, Fabrizio Luccio, Peter Widmayer

+ shelf+ list

Proceedings of the Fourth International Conference on SImilarity Search and APplications

2011

Alfredo Ferro