FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
FCS INFORMAL PROCEEDINGS: AUTHOR INDEX
Shortcuts: ABCDGJKMNRSTVW
A
Alturki, Musab A.
Arnaboldi, Luca
B
Ban Kirigin, Tajana
C
Chirkova, Rada
D
Debant, Alexandre
Delaune, Stephanie
Dougherty, Daniel
Doyle, Jon
G
Guttman, Joshua
J
Jiang, Jiaming
K
Kanovich, Max
M
Morisset, Charles
N
Nigam, Vivek
R
Ramsdell, John
Rosenthal, Arnon
S
Scedrov, Andre
T
Talcott, Carolyn
Trieu, Alix
V
Vivekanandan, Paventhan
W
Wiedling, Cyrille