|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
IWC FINAL PAPERS: AUTHOR INDEX
C | Chenavier, Cyrille | | Christiansen, Henning | | D | Dupont, Benjamin | | F | Felgenhauer, Bertram | | Forest, Simon | | Fukui, Kousuke | | H | Hage, Nohra | | K | Kanazawa, Yoshiaki | | Kirkeby, Maja H. | | M | Malbos, Philippe | | Middeldorp, Aart | | N | Nakazawa, Koji | | Nishida, Naoki | | P | Prathamesh, T. V. H. | | R | Rapp, Franziska | | S | Sternagel, Christian | | T | Tsuruta, Yuta | | W | Winkler, Sarah | |
|
|