A
Alfredo Ferro
4 works on record
Works

Fun with Algorithms

Computable set theory

Decision procedures for elementary sublanguages of set theory. VII. Validity in set theory when a choice operator is present
Proceedings of the Fourth International Conference on SImilarity Search and APplications
Proceedings of the Fourth International Conference on SImilarity Search and APplications