A convenient cryptomorphic version of recursive function theory
Open Access
- 28 February 1975
- journal article
- Published by Elsevier in Information and Control
- Vol. 27 (2) , 178-195
- https://doi.org/10.1016/s0019-9958(75)90127-8
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Epimorphisms in certain categories of transducersInformation and Control, 1972
- A categorical characterization of general automataInformation and Control, 1971
- On categories of infinite automataTheory of Computing Systems, 1970