TALK AUTHOR INDEX
B | |
Bednarczyk, Bartosz | |
D | |
de Almeida Borges, Ana | |
J | |
Joosten, Joost J. | |
L | |
Liu, Mo | |
O | |
Orlandelli, Eugenio | |
P | |
Padmanabha, Anantha | |
Pratt-Hartman, Ian | |
W | |
Wolter, Frank |
|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
|
|