Recursive equivalence types and combinatorial functions
Open Access
- 1 January 1958
- journal article
- Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
- Vol. 64 (6) , 373-376
- https://doi.org/10.1090/s0002-9904-1958-10241-4
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 2 references indexed in Scilit:
- Recursive Equivalence Types. By J C. E. Dekker and J. Myhill. 1960. University of California Publications in Mathematics. N.S. Vol. 3 No. 3, pp. 67–214).The Mathematical Gazette, 1962
- On completely recursively enumerable classes and their key arraysThe Journal of Symbolic Logic, 1956