FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
OVERTURE FULL PAPERS: AUTHOR INDEX
Shortcuts: AFGLMNOPTWZ
A
Araki, Keijiro
F
Fitzgerald, John
Fraser, Simon
Freitas, Leo
G
Gamble, Carl
Gamble, Carl
L
Larsen, Peter Gorm
Lausdahl, Kenneth
M
Mace, John
Macedo, Hugo Daniel
Mansfield, Martin
Morisset, Charles
N
Nilsson, René Søndergaard
O
Oda, Tomohiro
P
Pierce, Ken
T
Thule, Casper
W
W. V. Tran-Jørgensen, Peter
Z
Zervakis, Georgios