Lower bounds for RAMs and quantifier elimination.

Mikls Ajtai

Browse the full STOC paper archive.