Normal Proofs and Their Grammar

Information and Computation 1996 Vol. 125; Iss. 2

Normal Proofs and Their Grammar

Masako Takahashi, Yohji Akama, Sachio Hirokawa
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
125
Year:
1996
Language:
english
Pages:
10
DOI:
10.1006/inco.1996.0027
File:
PDF, 511 KB
english, 1996
Conversion to is in progress
Conversion to is failed