HOR PRE-PROCEEDINGS: AUTHOR INDEX
B | |
Bendkowski, Maciej | |
Breuvart, Flavien | |
K | |
Kobayashi, Naoki | |
Kop, Cynthia | |
L | |
Lescanne, Pierre | |
M | |
Mazza, Damiano | |
O | |
Olimpieri, Federico | |
R | |
Ruoppolo, Domenico | |
S | |
Smith, Connor | |
V | |
Vial, Pierre |
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
|
|