Search results for: Luca Roversi
New Generation Computing > 2018 > 36 > 3 > 233-256
Lecture Notes in Computer Science
Electronic Notes in Theoretical Computer Science > 2016 > 322 > C > 227-242
Lecture Notes in Computer Science > Transactions on Large-Scale Data- and Knowledge-Centered Systems IV > Database Systems for Biomedical Applications > 124-147
Lecture Notes in Computer Science > Foundational and Practical Aspects of Resource Analysis > FOPARA 2009 > 114-130
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 184-197
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2009 > Contributed Papers > 344-355
Studia Logica > 1997 > 59 > 3 > 417-448