Algorithmic properties of structures
- 1 June 1967
- journal article
- Published by Springer Nature in Theory of Computing Systems
- Vol. 1 (2), 183-195
- https://doi.org/10.1007/bf01705528
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Metarecursive setsThe Journal of Symbolic Logic, 1965
- Computability of Recursive FunctionsJournal of the ACM, 1963
- Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing MachinesAnnals of Mathematics, 1961
- CONSTRUCTIVE ALGEBRAS IRussian Mathematical Surveys, 1961
- Representation of Events in Nerve Nets and Finite AutomataPublished by Walter de Gruyter GmbH ,1956