On the estimation of the length of normal derivations
- ISBN
- 9174102044
On the estimation of the length of normal derivations es un normal forms, proof theory book de Luiz Carlos P. D. Pereira.
Descubre On the estimation of the length of normal derivations de Luiz Carlos P. D. Pereira, normal forms.
Sobre el Autor
es el autor de On the estimation of the length of normal derivations. Explora su catálogo completo en Booklogr.
Explora más libros de Luiz Carlos P. D. Pereira →Ediciones y Formatos
Reseñas
Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.
Iniciar sesión Inicia sesión para escribir una reseña
Preguntas Frecuentes
¿De qué género es On the estimation of the length of normal derivations?+
On the estimation of the length of normal derivations es un libro de Normal forms, Proof theory.
¿Quién escribió On the estimation of the length of normal derivations?+
On the estimation of the length of normal derivations fue escrito por Luiz Carlos P. D. Pereira.