Anglais
Nous donnons un aperçu de la syntaxe diagrammatique pour les PROs et les PROPs, qui sont liés à la théorie des opérades et des bigèbres. En utilisant la réécriture de diagrammes, on obtient des présentations de PROs par générateurs et relations. Dans certains cas, on obtient même des systèmes de réécriture convergents.
Complétion de Knuth-Bendix, confluence, enchevÍtrement, foncteur de Schur, forme canonique, opérade, présentation par générateurs et relations, PRO, PROP, réécriture de diagrammes, théorie algébrique, tresse.
Actualité
Publication
Événements
Dossier et ressources
