Luca Roversi

Luca Roversi

Università degli Studi di Torino - Torino / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1797023
University of Turin
person_outline Luca Roversi's MOST POPULAR ARTICLES
1-) Intuitionistic light affine logicA Asperti, L RoversiACM Transactions on Computational Logic (TOCL) 3 (1), 137-175, 20021542002
2-) Light affine logicA AspertiProceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 19981311998
3-) Directed hypergraphs: Problems, algorithmic results, and a novel decremental approachA Restivo, SR Della Rocca, L Roversi, G Ausiello, PG Franciosa, ...Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 20011232001
4-) A LTS semantics of ambients via graph synchronization with mobilityA Restivo, SR Della Rocca, L Roversi, GL Ferrari, U Montanari, E TuostoTheoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 2001622001
5-) Lambda calculus and intuitionistic linear logicSR Della Rocca, L RoversiStudia Logica 59, 417-448, 1997531997