The Isaac Newton Institute for Mathematical Sciences

LAAw02 - Logic and Databases

Barcelo, 2006-03-03: Temporal logics for n-ary queries over XML documents

[no_frames] [help] [search]

Multimedia

presentation material as:
[Adobe PDF 150kB]

Sound

entire talk as:
[RealAudio 11MB] [MP3 7MB]

Pictures

section 1 section 2 section 3 section 4 section 5 section 6 section 7 section 8 section 9 section 10 section 11 section 12 section 13 section 14 section 15 section 16 section 17 section 18 section 19 section 20 section 21 section 22 section 23 section 24 section 25 section 26 section 27 section 28 section 29 section 30 section 31 section 32 section 33 section 34 section 35 section 36 section 37 section 38 section 39 section 40 section 41 section 42 section 43 section 44 section 45