Salta al contenuto principale

Ricerc@Sapienza

Home
Login

Home
Computer Science Applications
2018
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Torna alla Home Page delle pubblicazioni

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

pubblicato su: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 2018

Bottoni Paolo Gaspare, Gorla Daniele, Kasangian Stefano, Labella Anna

PerCom Workshops 2018 Committees

pubblicato su: 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) - 2018

Chatzigiannakis Ioannis, Mylonas Georgios

CATALOGO IRIS SAPIENZA

Anno

(-) Remove 2018 filter 2018

Tipo pubblicazione

01 Pubblicazione su rivista (1) Apply 01 Pubblicazione su rivista filter
02 Pubblicazione su volume (1) Apply 02 Pubblicazione su volume filter

Rivista

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (1) Apply MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE filter

Book

2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) (1) Apply 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) filter

Keywords

(-) Remove Computer Science Applications filter Computer Science Applications
Computer Networks and Communications (1) Apply Computer Networks and Communications filter
computer vision and pattern recognition (1) Apply computer vision and pattern recognition filter
Mathematics (miscellaneous) (1) Apply Mathematics (miscellaneous) filter
pervasive computing (1) Apply pervasive computing filter

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