Yves Guiraud - RankMe

19 papers C 1Journal 13Unranked 3

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Polygraphs: From Rewriting to Higher Categories. CoRR Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram
2019	—	`book`	Rewriting methods in higher algebra. (Méthodes de réécriture en algèbre supérieure). Yves Guiraud
2018	J	`jnl`	Polygraphs of finite derivation type. Math. Struct. Comput. Sci. Yves Guiraud, Philippe Malbos
2016	J	`jnl`	Quadratic normalization in monoids. Int. J. Algebra Comput. Patrick Dehornoy, Yves Guiraud
2013	—	`conf`	A Homotopical Completion Procedure with Applications to Coherence of Monoids. RTA Yves Guiraud, Philippe Malbos, Samuel Mimram
2012	J	`jnl`	Coherence in monoidal track categories. Math. Struct. Comput. Sci. Yves Guiraud, Philippe Malbos
2009	J	`jnl`	Programs as polygraphs: computability and complexity Guillaume Bonfante, Yves Guiraud
2007	—	`conf`	Intensional Properties of Polygraphs. TERMGRAPH@ETAPS Guillaume Bonfante, Yves Guiraud
2007	J	`jnl`	Intensional properties of polygraphs CoRR Guillaume Bonfante, Yves Guiraud
2007	J	`jnl`	Polygraphs for termination of left-linear term rewriting systems CoRR Yves Guiraud
2006	J	`jnl`	Termination orders for 3-dimensional rewriting CoRR Yves Guiraud
2006	J	`jnl`	Termination orders for 3-polygraphs CoRR Yves Guiraud
2006	J	`jnl`	The three dimensions of proofs CoRR Yves Guiraud
2006	J	`jnl`	The three dimensions of proofs. Ann. Pure Appl. Log. Yves Guiraud
2006	J	`jnl`	Two polygraphic presentations of Petri nets CoRR Yves Guiraud
2006	J	`jnl`	Two polygraphic presentations of Petri nets. Theor. Comput. Sci. Yves Guiraud
2004	—	`conf`	MIC: A Deployment Environment for Autonomous Agents. E4MAS Abdelkader Gouaïch, Fabien Michel, Yves Guiraud
2004	—	`—`	Présentations d'opérades et systèmes de réécriture. (Operad presentations and rewrite systems). Yves Guiraud
2003	C	`conf`	MIC: Algebraic Agent Environment. ISMIS Abdelkader Gouaïch, Yves Guiraud