Termination orders for 3-polygraphs
Saved in:
| Title: | Termination orders for 3-polygraphs |
|---|---|
| Alternate Title: | Ordres de terminaison pour 3-polygraphes |
| Authors: | Guiraud, Yves1 guiraud@iml.univ-mrs.fr |
| Source: | Comptes Rendus. Mathématique. Feb2006, Vol. 342 Issue 4, p219-222. 4p. |
| Database: | Academic Search Ultimate |
| ISSN: | 1631073X |
|---|---|
| DOI: | 10.1016/j.crma.2005.12.019 |
