First-order definability on finite structures
- 1 December 1989
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 45 (3) , 211-225
- https://doi.org/10.1016/0168-0072(89)90036-5
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- ∑11-Formulae on finite structuresAnnals of Pure and Applied Logic, 1983
- Languages which capture complexity classesPublished by Association for Computing Machinery (ACM) ,1983
- A spectrum hierarchyMathematical Logic Quarterly, 1975