Search results for: Davide Bresolin
Lecture Notes in Computer Science > STACS 2007 > Session 9B > 549-560
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 > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 63-77
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 73-87
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 73-89
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 123-137
Proceedings of the IEEE > 2015 > 103 > 11 > 2104 - 2132
Microprocessors and Microsystems > 2015 > 39 > 8 > 836-842
International Journal of Robust and Nonlinear Control > 24 > 4 > 699 - 724
Annals of Mathematics and Artificial Intelligence > 2014 > 71 > 1-3 > 11-39
Annals of Mathematics and Artificial Intelligence > 2014 > 71 > 1-3 > 41-83
Theoretical Computer Science > 2013 > 493 > Complete > 98-115