Termination orders for 3-dimensional rewriting

Details Termination orders for 3-dimensional rewriting Termination orders for 3-dimensional rewriting

2006-12-04

arxiv.org/abs/math/0612083v1

Journal of Pure and Applied Algebra, Volume 207, Issue 2, October 2006, Pages 341-371

Mathematics

Category Theory

30 pages, 35 figures

Scientific paper

10.1016/j.jpaa.2005.10.011

This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource management is given, and the respective computational properties of each system are studied. Finally, a convergent 3-polygraph for the (commutative) theory of Z/2Z-vector spaces is given. In order to prove these results, it is explained how to craft a class of termination orders for 3-polygraphs.

Affiliated with

Also associated with

No associations

Rating

Termination orders for 3-dimensional rewriting 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 Termination orders for 3-dimensional rewriting, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Termination orders for 3-dimensional rewriting will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-649777