Yves Guiraud

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Journal of Homotopy and Related Structures	2023-03-15	Paper
Coherent presentations of monoids with a right-noetherian Garside family (available as arXiv preprint)	2021-07-01	Paper
Convergent presentations and polygraphic resolutions of associative algebras Mathematische Zeitschrift	2019-09-17	Paper
Polygraphs of finite derivation type Mathematical Structures in Computer Science	2018-01-11	Paper
scientific article; zbMATH DE number 6679826 (Why is no real title available?)	2017-02-01	Paper
Quadratic normalization in monoids International Journal of Algebra and Computation	2016-09-23	Paper
Coherent presentations of Artin monoids Compositio Mathematica	2015-06-29	Paper
Intensional properties of polygraphs Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
Identities among relations for higher-dimensional rewriting systems	2013-12-12	Paper
Identities among relations for higher-dimensional rewriting systems (available as arXiv preprint)	2013-12-12	Paper
Coherence in monoidal track categories Mathematical Structures in Computer Science	2012-11-22	Paper
Higher-dimensional normalisation strategies for acyclicity Advances in Mathematics	2012-10-16	Paper
Higher-dimensional categories with finite derivation type	2009-11-21	Paper
Higher-dimensional categories with finite derivation type (available as arXiv preprint)	2009-11-21	Paper
Higher-dimensional categories with finite derivation type	2009-11-21	Paper
Polygraphic programs and polynomial-time functions Logical Methods in Computer Science	2009-06-30	Paper
Termination orders for three-dimensional rewriting Journal of Pure and Applied Algebra	2006-09-25	Paper
Two polygraphic presentations of Petri nets Theoretical Computer Science	2006-09-14	Paper
The three dimensions of proofs Annals of Pure and Applied Logic	2006-08-16	Paper
Termination orders for 3-polygraphs Comptes Rendus. Mathématique. Académie des Sciences, Paris	2006-03-20	Paper
scientific article; zbMATH DE number 2209367 (Why is no real title available?)	2005-09-28	Paper

Research outcomes over time

This page was built for person: Yves Guiraud