Recursive equivalence types /
Autores principales: | Dekker, Jacob C.E. 1921 - (Autor, Autor/a), Myhill, J. (Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Berkeley, Calif. :
University of California Press,
1960.
|
Materias: |
Ejemplares similares
-
Planos afines con operaciones recursivas /
por: Dekker, Jacob C.E. 1921 -, et al. -
Equivalencia recursiva /
por: Dekker, Jacob C.E. 1921 -, et al.
Publicado: (1976) -
Recursive function theory
Publicado: (1962) -
Theory of recursive functions and effective computability /
por: Rogers, Hartley n. 1926-, et al.
Publicado: (1967) -
Recursion theory week : proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 /
por: Ambos, Spines K.
Publicado: (1964)