Fun with Algorithmsde Alfredo Ferro, Fabrizio Luccio, Peter WidmayerMateriasComputer algorithmsData structures (computer science)Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceData structures (Computer science)Computer softwareComputational complexity
PProceedings of the Fourth International Conference on SImilaProceedings of the Fourth International Conference on SImilarity Search and APplications
Decision procedures for elementary sublanguages of set theory. VII. Validity in set theory when a choice operator is present