|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
NLCS PRE-WORKSHOP PAPERS: AUTHOR INDEX
A | Amiridze, Nino | | B | Bekki, Daisuke | | C | Catta, Davide | | Chalub, Fabricio | | Chatzikyriakidis, Stergios | | Claessen, Koen | | Crouch, Richard | | D | de Melo, Gerard | | de Paiva, Valeria | | H | Hu, Hai | | I | Icard, Thomas | | K | Kalouli, Aikaterini-Lida | | Kutsia, Temur | | L | Listenmaa, Inari | | Luo, Zhaohui | | M | Mineshima, Koji | | Moot, Richard | | Moss, Larry | | R | Rademaker, Alexandre | | Real, Livy | | Retoré, Christian | | T | Tanaka, Ribeka | | X | Xue, Tao | | Z | Zwanziger, Colin | |
|
|