Montanari, Angelo
dimi.uniud.itUniversity of Udine - Logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.