|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
HCVS PAPERS: AUTHOR INDEX
C | Conchon, Sylvain | | D | De Angelis, Emanuele | | Delzanno, Giorgio | | F | Ferrando, Angelo | | Fioravanti, Fabio | | G | Ganty, Pierre | | H | Harris, William | | Heath, David | | K | Komendantskaya, Ekaterina | | L | Li, Yue | | P | Palacios, Adrián | | Pettorossi, Alberto | | Proietti, Maurizio | | R | Ravara, António | | U | Unno, Hiroshi | | Z | Zhou, Qi | |
|
|