|
|||||
|
|
Normal Proofs and Their Grammar |
|
| Authors: | Masako Takahashi Yohji Akama Sachio Hirokawa |
| Affiliation: | aDepartment of Mathematical and Computing Sciences, Tokyo Institute of Technology, Japanf1;bDepartment of Information Science, Faculty of Science, University of Tokyo, Japanf2;cComputer Science Laboratory, Faculty of Science, Kyushu University, Japanf3 |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |