Termination orders for three-dimensional rewriting
Saved in:
| Title: | Termination orders for three-dimensional rewriting |
|---|---|
| Authors: | Guiraud, Yves1 guiraud@iml.univ-mrs.fr |
| Source: | Journal of Pure & Applied Algebra. Oct2006, Vol. 207 Issue 2, p341-371. 31p. |
| Database: | Academic Search Ultimate |
| ISSN: | 00224049 |
|---|---|
| DOI: | 10.1016/j.jpaa.2005.10.011 |
