|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A | Afshari, Bahareh | | B | Baelde, David | | Bahr, Patrick | | Brotherston, James | | Bruse, Florian | | C | Cerna, David | | Cohen, Liron | | D | Das, Anupam | | H | Hyvernat, Pierre | | K | Komendantskaya, Ekaterina | | L | Lange, Martin | | Lettmann, Michael | | Li, Yue | | Lozes, Etienne | | M | Mannaa, Bassel | | Møgelberg, Rasmus Ejlers | | N | Nollet, Rémi | | P | Pradic, Pierre | | R | Riba, Colin | | Rowe, Reuben | | S | Saurin, Alexis | | Stratulat, Sorin | |
|
|