|
|||||
|
|
Two Restrictions on Contraction |
|
| Authors: | Brunnler Kai |
| Affiliation: | Technische Universität Dresden, Fakultät Informatik, D - 01062 Dresden, Germany. E-mail: kai.bruennler{at}gmx.net |
| Abstract: | |
| Keywords: | sequent calculus contraction deep inference |
| 本文献已被 Oxford 等数据库收录！ | |