FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
ISABELLE PAPERS: AUTHOR INDEX
Shortcuts: ABCDFHLNOPSTVW
A
Aryal, Deepak
B
Bayer, Jonas
Blanchette, Jasmin Christian
Bockenek, Joshua
C
Ciurezu, Bogdan
D
David, Marco
Deng, Yiping
Devkota, Prabhat
Dubischar, Simon
F
Fleury, Mathias
From, Andreas Halkjær
H
Haslbeck, Max W.
Hassler, Malte Sophian
He, Yilun
L
Lammich, Peter
Larsen, John Bruntse
Liu, Yufei
Lochbihler, Andreas
N
Nagashima, Yutaka
Nemouchi, Yakoub
O
Oprea, Maria Antonia
P
Pal, Abhik
S
Schlichtkrull, Anders
Sternagel, Christian
Stock, Benedikt
Stoop, Pascal
T
Thiemann, René
V
Villadsen, Jørgen
W
Wenzel, Makarius
Wolff, Burkhart