Uniform Definability on Finite Structures with Successor

Michel de Rougemont

Browse the full STOC paper archive.