Ir al conteni
d
o
B
uscar
R
evistas
T
esis
Libr
o
antiguo
Co
n
gresos
A
u
tores
Ayuda
Cambiar idioma
Idioma
català
Deutsch
English
español
euskara
français
galego
italiano
português
română
Cambiar
Stratified polymorphism and primitive recursion The research reported in this paper was partially supported by NSF grants CCR-9309824 and DMS-9870320. The proof figures were made with Makoto Tatsuta's proof.sty package, version 3.0
Autores:
NORMAN DANNER, DANIEL LEIVANT
Localización:
Mathematical structures in computer science
,
ISSN
0960-1295,
Vol. 9, Nº 4, 1999
,
págs.
507-522
Idioma:
inglés
DOI
:
10.1017/s0960129599002868
Texto completo no disponible
(Saber más ...)
Acceso de usuarios registrados
Identificarse
¿Olvidó su contraseña?
¿Es nuevo?
Regístrese
Ventajas de registrarse
Mi Documat
S
elección
Opciones de artículo
Seleccionado
Opciones de compartir
Facebook
Twitter
Opciones de entorno
Sugerencia / Errata
©
2008-2024
Fundación Dialnet
· Todos los derechos reservados
Accesibilidad
Aviso Legal
Coordinado por:
I
nicio
B
uscar
R
evistas
T
esis
Libr
o
antiguo
A
u
tores
Ayuda
R
e
gistrarse
¿En qué podemos ayudarle?
×
Buscar en la ayuda
Buscar