FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
NLCS PRE-WORKSHOP PAPERS: AUTHOR INDEX
Shortcuts: ABCDHIKLMRTXZ
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