Author/Creator: Chenavier, Cyrille - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Chenavier, Cyrille

1. A geometric stabilization of planar switched systems. Issue 2 (2020)

Authors:: Chenavier, Cyrille; Ushirobira, Rosane; Valmorbida, Giorgio
Journal:: IFAC-PapersOnLine
Issue:: Volume 53:Issue 2(2020)
Page Start:: 6446
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Computation of Koszul homology and application to involutivity of partial differential systems. Issue 34 (2022)

Authors:: Chenavier, Cyrille; Cluzeau, Thomas; Quadrat, Alban
Journal:: IFAC-PapersOnLine
Issue:: Volume 55:Issue 34(2022)
Page Start:: 19
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Confluence of algebraic rewriting systems. (10th August 2022)

Authors:: Chenavier, Cyrille; Dupont, Benjamin; Malbos, Philippe
Journal:: Mathematical structures in computer science
Issue:: Volume 32:Number 7(2022)
Page Start:: 870
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems. Issue 4 (1st December 2021)

Authors:: Chenavier, Cyrille; Cordero, Christophe; Giraudo, Samuele
Journal:: Experimental mathematics
Issue:: Volume 30:Issue 4(2021)
Page Start:: 513
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Reduction operators and completion of rewriting systems. (January 2018)

Authors:: Chenavier, Cyrille
Journal:: Journal of symbolic computation
Issue:: Volume 84(2018)
Page Start:: 57
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗