|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
LFMTP REGULAR PAPERS: AUTHOR INDEX
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 | |
|
|