Titolo | Pubblicato in | Anno |
---|---|---|
Conflict vs causality in event structures | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2019 |
Isomorphism test for digraphs with weighted edges | Proceedings SEA2018 | 2018 |
Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | 2015 |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma