|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A | Araki, Keijiro | | F | Fitzgerald, John | | Fraser, Simon | | Freitas, Leo | | G | Gamble, Carl | | Gamble, Carl | | L | Larsen, Peter Gorm | | Lausdahl, Kenneth | | M | Mace, John | | Macedo, Hugo Daniel | | Mansfield, Martin | | Morisset, Charles | | N | Nilsson, René | | O | Oda, Tomohiro | | P | Pierce, Ken | | T | Thule, Casper | | V | Verhoef, Marcel | | W | W. V. Tran-Jørgensen, Peter | | Z | Zervakis, Georgios | |
|
|