Davide Bresolin (University of Verona

Identifiers

• name variant Davide Bresolin (University of Verona 0.60 · backfill

Papers (2)

1. Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture cs.LO · 2012 · author #1
2. Begin, After, and Later: a Maximal Decidable Interval Temporal Logic cs.LO · 2010 · author #1

Mentions

• 1210.2479 #1 · backfill · confidence 0.70 Davide Bresolin (University of Verona
• 1006.1407 #1 · backfill · confidence 0.70 Davide Bresolin (University of Verona

Frequent Coauthors

• Guido Sciavicco (University of Murcia 2 shared papers
• Italy) 2 shared papers
• Pietro Sala (University of Verona 2 shared papers
• Spain) 2 shared papers
• Angelo Montanari (University of Udine 1 shared papers
• Dario Della Monica (Reykjavik University 1 shared papers
• Iceland) 1 shared papers
• Murcia 1 shared papers
• Verona 1 shared papers