Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2011.
|
| Edición: | 1st ed. 2011. |
| Colección: | Trends in Logic, Studia Logica Library,
34 |
| Temas: | |
| Acceso en línea: | Texto Completo |