On the estimation of the length of normal derivations
- ISBN
- 9174102044
On the estimation of the length of normal derivations is a normal forms, proof theory book by Luiz Carlos P. D. Pereira.
Discover On the estimation of the length of normal derivations by Luiz Carlos P. D. Pereira, normal forms.
About the Author
is the author of On the estimation of the length of normal derivations. Browse their full catalog on Booklogr.
Explore more books by Luiz Carlos P. D. Pereira →Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is On the estimation of the length of normal derivations?+
On the estimation of the length of normal derivations is a Normal forms, Proof theory book.
Who wrote On the estimation of the length of normal derivations?+
On the estimation of the length of normal derivations was written by Luiz Carlos P. D. Pereira.