|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A | Amortila, Philip | | Argyros, George | | B | Bacciu, Davide | | Basset, Nicolas | | C | Castellana, Daniele | | Clark, Alexander | | E | Etessami, Kousha | | K | Kanazawa, Makoto | | Kappé, Tobias | | L | Linard, Alexis | | M | Maler, Oded | | Mens, Irini-Eleftheria | | P | Pernkopf, Franz | | Precup, Doina | | R | Rabusseau, Guillaume | | S | Schrank, Tobias | |
|
|