|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PAAR PAPERS: AUTHOR INDEX
B | Bhayat, Ahmed | | D | Dixon, Clare | | E | Ebner, Gabriel | | F | From, Andreas Halkjær | | H | Hustadt, Ullrich | | K | Kotelnikov, Evgenii | | M | Myreen, Magnus O. | | N | Nalon, Cláudia | | O | Otten, Jens | | R | Rawson, Michael | | Reger, Giles | | S | Schlaipfer, Matthias | | Schlichtkrull, Anders | | Sutcliffe, Geoff | | V | Villadsen, Jørgen | |
|
|