Search results for: Angelo Montanari
Expert Systems > 36 > 3 > n/a - n/a
Lecture Notes in Computer Science > STACS 2007 > Session 9B > 549-560
Theoretical Computer Science > 2016 > 629 > C > 116-134
Electronic Notes in Theoretical Computer Science > 2016 > 322 > C > 211-226
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 10. Modal and Temporal Logics > 590-604
Lecture Notes in Computer Science > Logics in Artificial Intelligence > Modal, Spacial, and Temporal Logics > 513-525
Lecture Notes in Computer Science > Theoretical Computer Science > Program Design, Models and Analysis > 72-85
Lecture Notes in Computer Science > Database and XML Technologies > XML Transaction Management and Schema Design > 165-179
Lecture Notes in Computer Science > Advances in Spatial and Temporal Databases > Formal Aspects > 279-298
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 139-153
Lecture Notes in Computer Science > Advanced Information Systems Engineering > Short Papers > 711-714
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 63-77