|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
FCS INFORMAL PROCEEDINGS: AUTHOR INDEX
A | Alturki, Musab A. | | Arnaboldi, Luca | | B | Ban Kirigin, Tajana | | C | Chirkova, Rada | | D | Debant, Alexandre | | Delaune, Stephanie | | Dougherty, Daniel | | Doyle, Jon | | G | Guttman, Joshua | | J | Jiang, Jiaming | | K | Kanovich, Max | | M | Morisset, Charles | | N | Nigam, Vivek | | R | Ramsdell, John | | Rosenthal, Arnon | | S | Scedrov, Andre | | T | Talcott, Carolyn | | Trieu, Alix | | V | Vivekanandan, Paventhan | | W | Wiedling, Cyrille | |
|
|