|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TERMGRAPH PRE-PROCEEDINGS: AUTHOR INDEX
B | Barnett, Lee | | C | Cropper, Andrew | | D | Dershowitz, Nachum | | E | Ene, Nneka | | G | Grabmayer, Clemens | | J | Jouannaud, Jean-Pierre | | K | Kahl, Wolfram | | O | Okada, Mitsuhiro | | P | Plaisted, David | | T | Takahashi, Yuta | | Tourret, Sophie | | V | Varga, János | | Z | Zamdzhiev, Vladimir | | Zhao, Yuhang | |
|
|