Título: | Primitive recursive algebraic theories with applications to program schemes |
Autores: | K?ühnel, W. ; Meseguer Guaita, José ; Pfender, Michael ; Sols, Ignacio |
Tipo de documento: | texto impreso |
Editorial: | NUMDAM (Numérisation de Documents Anciens Mathématiques), 1975 |
Palabras clave: | Estado = Publicado , Materia = Ciencias: Matemáticas: Análisis matemático , Tipo = Artículo |
Ejemplares
Estado |
---|
ningún ejemplar |