Pubblicazioni

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes

2018 - MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Bottoni, Paolo Gaspare; Gorla, Daniele; Kasangian, Stefano; Labella, Anna

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma