LECTURE AUDIO AND SLIDES

July 29, 2014

What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL
Pietro Sala
University of Verona

This web presentation contains the audio and slides of a lecture given at the Fields Institute on June 24, 2011 as part of the 26th Annual IEEE Symposium on Logic in Computer Science.

Listen to audio presentation:


You may browse the slides in the presentation (a browser capable of displaying PNG graphics is required). Or, you may download a higher-resolution printer-ready version in PDF format (requires Acrobat Reader).

Shown: slide 31, large size.   Previous Slide | Next Slide | Switch to small size

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 Image of Slide