On the estimation of the length of normal derivations
- ISBN
- 9174102044
On the estimation of the length of normal derivations è un normal forms, proof theory book di Luiz Carlos P. D. Pereira.
Scopri On the estimation of the length of normal derivations di Luiz Carlos P. D. Pereira, normal forms.
Sull'Autore
è l'autore di On the estimation of the length of normal derivations. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Luiz Carlos P. D. Pereira →Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è On the estimation of the length of normal derivations?+
On the estimation of the length of normal derivations è un libro di Normal forms, Proof theory.
Chi ha scritto On the estimation of the length of normal derivations?+
On the estimation of the length of normal derivations è stato scritto da Luiz Carlos P. D. Pereira.