Definability by programs in first-order structures
- 31 January 1983
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 25 (1) , 1-66
- https://doi.org/10.1016/0304-3975(83)90013-0
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Generalized Galois theory and its application to complexityTheoretical Computer Science, 1981
- Interpolation theorems for program schemataInformation and Control, 1978
- An observation on time-storage trade offJournal of Computer and System Sciences, 1974
- Program schemes, recursion schemes, and formal languagesJournal of Computer and System Sciences, 1973
- Program Schemes with Pushdown StoresSIAM Journal on Computing, 1972
- On Classes of Program SchemataSIAM Journal on Computing, 1972
- On formalised computer programsJournal of Computer and System Sciences, 1970
- Algorithmic properties of structuresTheory of Computing Systems, 1967