Présentations d'opérades et systèmes de réécriture
Cette thèse étudie les propriétés calculatoires des présentations d'opérades, ou systèmes de réécriture de diagrammes de Penrose, et leurs liens avec divers types de systèmes de réécriture classiques. Grâce à des nouveaux critères pour la terminaison et la confluence, on démontre la conjecture...
Main Author: | |
---|---|
Language: | FRE |
Published: |
Université Montpellier II - Sciences et Techniques du Languedoc
2004
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00006863 http://tel.archives-ouvertes.fr/docs/00/04/70/96/PDF/tel-00006863.pdf |