FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SCSC PAPERS: AUTHOR INDEX
A
Abbott, John
B
Bienmüller, Tom
Biere, Armin
Bigatti, Anna Maria
Bradford, Russell
Brockmeyer, Udo
C
Cowen-Rivers, Alexander
D
Davenport, James H.
E
Eggers, Andreas
England, Matthew
F
Fontaine, Pascal
Forrest, Stephen A.
H
Haehn, Rebecca
Horacek, Jan
J
Jebelean, Tudor
K
Kauers, Manuel
Kotsireas, Ilias
Kremer, Gereon
Kreuzer, Martin
M
Mulligan, Casey
O
Ogawa, Mizuhito
P
Palezzato, Elisa
R
Ritirc, Daniela
S
Stasch, Matthias
Sturm, Thomas
Syed Mohammad, Meesum
T
T. V. H., Prathamesh
Teige, Tino
To, Van Khanh
Tonks, Zak
V
Vu, Xuan Tung
Á
Ábrahám, Erika