FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
LFMTP REGULAR PAPERS: AUTHOR INDEX
Shortcuts: ACFGHKLMRSTW
A
Angiuli, Carlo
C
Carlier, Sébastien
Cavallo, Evan
Chaudhuri, Kaustuv
Copello, Ernesto
Copes, Martin
F
Feller, David
G
Gérard, Ulysse
H
Harper, Robert
Hou, Kuen-Bang
K
Kamareddine, Fairouz
Kesner, Delia
Komauli, Francesco
L
Lepigre, Rodolphe
M
Miller, Dale
Momigliano, Alberto
R
Raffalli, Christophe
Rosu, Grigore
S
Sterling, Jonathan
Szasz, Nora
T
Tasistro, Alvaro
Thiré, François
W
Wells, Joe