On the estimation of the length of normal derivations
- ISBN
- 9174102044
On the estimation of the length of normal derivations est un normal forms, proof theory book de Luiz Carlos P. D. Pereira.
Découvrez On the estimation of the length of normal derivations de Luiz Carlos P. D. Pereira, normal forms.
À propos de l'auteur
est l'auteur de On the estimation of the length of normal derivations. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de Luiz Carlos P. D. Pereira →Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de On the estimation of the length of normal derivations ?+
On the estimation of the length of normal derivations est un livre de Normal forms, Proof theory.
Qui a écrit On the estimation of the length of normal derivations ?+
On the estimation of the length of normal derivations a été écrit par Luiz Carlos P. D. Pereira.