FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PRUV PRUV 2018 PROCEEDINGS: AUTHOR INDEX
Shortcuts: BEFGLMPRSTWZ
B
Ben Salah, Kais
E
Ensan, Alireza
F
Falappa, Marcelo A.
G
Ge, Cunjing
Ghedira, Khaled
Giordano, Laura
Gliozzi, Valentina
L
Liu, Heng
Liu, Tian
M
Ma, Feifei
Ma, Xutong
Maly, Jan
Martinez, Maria Vanina
P
Paredes, José
Potyka, Nico
R
Rouahi, Aouatef
S
Simari, Gerardo
T
Ternovska, Eugenia
W
Woltran, Stefan
Z
Zhang, Jian