Yves Guiraud

Available identifiers

Publication	Date of Publication	Type
Polygraphs: From Rewriting to Higher Categories	2023-12-01	Paper
Coherent presentations of monoids with a right-Noetherian Garside family	2023-03-15	Paper
Coherent presentations of monoids with a right-noetherian Garside family	2021-07-01	Paper
Convergent presentations and polygraphic resolutions of associative algebras	2019-09-17	Paper
Polygraphs of finite derivation type	2018-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q2958386	2017-02-01	Paper
Quadratic normalization in monoids	2016-09-23	Paper
Coherent presentations of Artin monoids	2015-06-29	Paper
Intensional properties of polygraphs	2014-01-17	Paper
Identities among relations for higher-dimensional rewriting systems	2013-12-12	Paper
Coherence in monoidal track categories	2012-11-22	Paper
Higher-dimensional normalisation strategies for acyclicity	2012-10-16	Paper
Higher-dimensional categories with finite derivation type	2009-11-21	Paper
Polygraphic programs and polynomial-time functions	2009-06-30	Paper
Termination orders for three-dimensional rewriting	2006-09-25	Paper
Two polygraphic presentations of Petri nets	2006-09-14	Paper
The three dimensions of proofs	2006-08-16	Paper
Termination orders for 3-polygraphs	2006-03-20	Paper
https://portal.mardi4nfdi.de/entity/Q5692319	2005-09-28	Paper

This page was built for person: Yves Guiraud