Recherche - Institut Camille Jordan Accéder directement au contenu

Filtrer vos résultats

5 résultats
Image document

REWRITING IN HIGHER DIMENSIONAL LINEAR CATEGORIES AND APPLICATION TO THE AFFINE ORIENTED BRAUER CATEGORY

Clément Alleaume
2016
Pré-publication, Document de travail hal-01281219v1

Rewriting in the category of Bott-Samelson bimodules

Clément Alleaume
Higher-Dimensional Rewriting and Applications (HDRA), Jun 2015, Varsovie, Poland
Communication dans un congrès hal-01175447v1
Image document

Higher-dimensional linear rewriting and coherence in categorification and representation theory

Clément Alleaume
Numerical Analysis [cs.NA]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSE1114⟩
Thèse tel-01896102v1
Image document

Coherence of string rewriting systems by decreasingness

Clément Alleaume , Philippe Malbos
2017
Pré-publication, Document de travail hal-01676936v1

Coherence of quasi-terminating decreasing 2-polygraphs

Philippe Malbos , Clément Alleaume
5th International Workshop on Confluence, IWC 2016, Sep 2016, Obergurgl, Austria
Communication dans un congrès hal-01718951v1