|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
B | Berkholz, Christoph | | Bonet, Maria | | Buss, Samuel | | C | Capelli, Florent | | D | Dantchev, Stefan | | Das, Anupam | | de Wolff, Timo | | Dressler, Mareike | | G | Galesi, Nicola | | I | Ignatiev, Alexey | | K | Kabanets, Valentine | | Knop, Alexander | | Kolokolova, Antonina | | Koucky, Michal | | Kurpisz, Adam | | M | Marques-Silva, Joao | | Martin, Barnaby | | Morgado, Antonio | | P | Part, Fedor | | T | Tzameret, Iddo | |
|
|