Date 12-14 Sept. 2011
Filter Results
Displaying Results 1 - 25 of 34
-
[Front cover]
|
PDF (759 KB)
-
[Title page i]
|
PDF (38 KB)
-
[Title page iii]
|
PDF (123 KB)
-
[Copyright notice]
|
PDF (111 KB)
-
Table of contents
|
PDF (130 KB)
-
Message from the Chairs
|
PDF (113 KB)
-
Committee Organization
|
PDF (85 KB)
-
Program Committee
|
PDF (86 KB)
-
Additional Reviewers
|
PDF (62 KB)
-
p-Automata and Obligation Games
|
PDF (178 KB)
-
-
Temporal Preferences
|
PDF (107 KB)
-
Towards a Foundation of Data Currency
|
PDF (216 KB)
-
Efficient Encoding of Temporal XML Documents
|
PDF (237 KB)
-
-
-
-
-
Temporal Access to the Iteration Sequences: A Unifying Approach to Fixed Point Logics
|
PDF (220 KB)
-
-
-
-
-
-


