Items where authors include "Pous, D."

Article

Calk, C., Malbos, P., Pous, D. et al. (1 more author) (2025) Higher catoids, higher quantales and their correspondences. Applied Categorical Structures, 33 (4). 25. ISSN 0927-2852

Proceedings Paper

Brunet, P., Pous, D. and Struth, G. (2017) On decidability of concurrent Kleene algebra. In: Meyer, R. and Nestmann, U., (eds.) LIPIcs. 28th International Conference on Concurrency Theory (CONCUR 2017) , 05-08 Sep 2018, Berlin, Germany. Schloss Dagstuhl - Leibniz-Zentrum für Informatik . ISBN 9783959770484