Uniform Definability on Finite Structures with Successor

Michel de Rougemont. Uniform Definability on Finite Structures with Successor. In Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing, 1984, Washington, D.C., USA. pages 409-417, ACM, 1984.

Abstract

Abstract is missing.