TALK AUTHOR INDEX
B | |
Benveniste, Albert | |
C | |
Clarke, Edmund M. | |
D | |
Dershowitz, Nachum | |
F | |
Fisher, Jasmin | |
G | |
Grumberg, Orna | |
H | |
Henzinger, Thomas A. | |
Hoare, Tony | |
K | |
Kugler, Hillel | |
Kwiatkowska, Marta | |
M | |
Maoz, Shahar | |
S | |
Scott, Dana | |
V | |
Vardi, Moshe |
|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
|
|