|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
B | Beyene, Tewodros A. | | Buruiana, Sebastian | | C | Ciobaca, Stefan | | D | Dallmeyer, Nils | | H | Herrera, Christian | | J | Jouannaud, Jean-Pierre | | K | Kanazawa, Yoshiaki | | M | Maeda, Yuya | | N | Nigam, Vivek | | Nishida, Naoki | | S | Sabel, David | | Schmidt-Schauss, Manfred | |
|
|