Proof Theory at Work: Complexity Analysis of Term Rewrite Systems
Abstract
This thesis is concerned with investigations into the "complexity of term rewriting systems". Moreover the majority of the presented work deals with the "automation" of such a complexity analysis. The aim of this introduction is to present the main ideas in an easily accessible fashion to make the result presented accessible to the general public. Necessarily some technical points are stated in an over-simplified way.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2009
- DOI:
- 10.48550/arXiv.0907.5527
- arXiv:
- arXiv:0907.5527
- Bibcode:
- 2009arXiv0907.5527M
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Computational Complexity;
- Computer Science - Symbolic Computation;
- Computer Science - Software Engineering
- E-Print:
- Cumulative Habilitation Thesis, submitted to the University of Innsbruck