|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
D | Dal Lago, Ugo | | Dershowitz, Nachum | | Di Pierro, Alessandra | | F | Francalanza, Adrian | | G | Giannini, Paola | | Giunti, Marco | | K | Kesner, Delia | | M | Mackie, Ian | | R | Ravara, António | | Razavi, Joseph | | S | Schalk, Andrea | | Servetto, Marco | | Z | Zucca, Elena | |
|
|