Filtrer vos résultats
- 3
- 2
- 2
- 2
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 5
- 5
- 5
- 2
5 résultats
|
|
triés par
|
|
REWRITING IN HIGHER DIMENSIONAL LINEAR CATEGORIES AND APPLICATION TO THE AFFINE ORIENTED BRAUER CATEGORY2016
Pré-publication, Document de travail
hal-01281219v1
|
||
Rewriting in the category of Bott-Samelson bimodulesHigher-Dimensional Rewriting and Applications (HDRA), Jun 2015, Varsovie, Poland
Communication dans un congrès
hal-01175447v1
|
|||
|
Higher-dimensional linear rewriting and coherence in categorification and representation theoryNumerical Analysis [cs.NA]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSE1114⟩
Thèse
tel-01896102v1
|
||
|
Coherence of string rewriting systems by decreasingness2017
Pré-publication, Document de travail
hal-01676936v1
|
||
Coherence of quasi-terminating decreasing 2-polygraphs5th International Workshop on Confluence, IWC 2016, Sep 2016, Obergurgl, Austria
Communication dans un congrès
hal-01718951v1
|