Bibliographic Details
| 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. |
| Subjects: |
Rewriting systems (Computer science), Mathematical category theory, Mathematics, Logic, Computer Science & Applications Inc. |
| Abstract (English): |
Abstract: This Note presents the first known class of termination orders for 3-polygraphs, together with an application. To cite this article: Y. Guiraud, C. R. Acad. Sci. Paris, Ser. I 342 (2006). [Copyright &y& Elsevier] |
| Abstract (French): |
Résumé: Cette Note présente la première classe connue d''''ordres de terminaison adaptés aux 3-polygraphes, ainsi qu''''une application. Pour citer cet article : Y. Guiraud, C. R. Acad. Sci. Paris, Ser. I 342 (2006).
|
|
Copyright of Comptes Rendus. Mathématique is the property of Academie des Science, Centre Mersenne and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Engineering Source |
