| No. | Title | Author | Year |
|---|---|---|---|
| 1 | A Sound Foundation for the Topological Approach to Task Solvability | Ledent, Jérémy et al. | 2019 |
| 2 | Brief Announcement: On the Impossibility of Detecting Concurrency | Goubault, Éric et al. | 2018 |
| 3 | Coherence of Gray Categories via Rewriting | Forest, Simon et al. | 2018 |
| 4 | Concurrent Specifications Beyond Linearizability | Goubault, Éric et al. | 2018 |
| 5 | Homological Computations for Term Rewriting Systems | Malbos, Philippe et al. | 2016 |
| 6 | Presenting a Category Modulo a Rewriting System | Clerc, Florence et al. | 2015 |
| 7 | A Homotopical Completion Procedure with Applications to Coherence of Monoids | Guiraud, Yves et al. | 2013 |
| 8 | A Non-Standard Semantics for Kahn Networks in Continuous Time | Beauxis, Romain et al. | 2011 |
| 9 | Computing Critical Pairs in 2-Dimensional Rewriting Systems | Mimram, Samuel | 2010 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 9 |