|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
ISABELLE PAPERS: AUTHOR INDEX
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 | |
|
|