The following pages link to Yves Guiraud (Q456805):
Displaying 17 items.
- Higher-dimensional normalisation strategies for acyclicity (Q456807) (← links)
- Termination orders for 3-polygraphs (Q817890) (← links)
- Convergent presentations and polygraphic resolutions of associative algebras (Q2272945) (← links)
- The three dimensions of proofs (Q2498912) (← links)
- Two polygraphic presentations of Petri nets (Q2503322) (← links)
- Termination orders for three-dimensional rewriting (Q2504386) (← links)
- Coherent presentations of monoids with a right-Noetherian Garside family (Q2690068) (← links)
- Quadratic normalization in monoids (Q2821823) (← links)
- Identities among relations for higher-dimensional rewriting systems (Q2865984) (← links)
- Intensional Properties of Polygraphs (Q2870314) (← links)
- (Q2958386) (← links)
- Polygraphs of finite derivation type (Q3130298) (← links)
- Polygraphic programs and polynomial-time functions (Q3636813) (← links)
- Higher-dimensional categories with finite derivation type (Q3646431) (← links)
- Coherence in monoidal track categories (Q4649461) (← links)
- Coherent presentations of Artin monoids (Q5259734) (← links)
- (Q5692319) (← links)
