Alfredo Ferro

Books by Alfredo Ferro

Total count: 4

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

  Courant Institute of Mathematical Sciences, New York University1986-01-01
• 
  Computable Set TheoryVolume 1 (International Series of Monographs on Computer Science)

  Oxford University Press, USA1990-04-12
• Proceedings of the Fourth International Conference on SImilarity Search and APplications

  Association for Computing Machinery2011-01-01
• Fun with Algorithms7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings

  Springer London, Limited2014-01-01