Proof Theory at Work: Complexity Analysis of Term Rewrite Systems

Details Proof Theory at Work: Complexity Analysis of Term Rewrite Systems Proof Theory at Work: Complexity Analysis of Term Rewrite Systems

2009-07-31

arxiv.org/abs/0907.5527v2

Computer Science

Logic in Computer Science

Cumulative Habilitation Thesis, submitted to the University of Innsbruck

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Proof Theory at Work: Complexity Analysis of Term Rewrite Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Proof Theory at Work: Complexity Analysis of Term Rewrite Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proof Theory at Work: Complexity Analysis of Term Rewrite Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-267696