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.
No references recorded for this publication.
No citations of this publication recorded.