|
|
Methods of Cut-Elimination
1 Preface - 2 Introduction - 3 Preliminaries - 4 Complexity of Cut-Elimination - 5 Reduction and Elimination - 6 Cut-Elimination by Resolution - 7 Extensions of CERES - 8 Applications of CERES - 9 CER... |
 |
|
|
| Download PDF |
| Methods of Cut-Elimination |
|
