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 |