Methods of Cut-Elimination
This book on methods of cut-elimination contains a thorough and rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes a detailed complexity analysis and comparison of CERES and of reductive methods. It pre...
Saved in:
| Main Authors: | , |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2011.
|
| Edition: | 1st ed. 2011. |
| Series: | Trends in Logic, Studia Logica Library,
34 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-94-007-0320-9 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|