|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
UITP FULL PAPERS: AUTHOR INDEX
F | Frerix, Steffen | | G | Gorzny, Jan | | Grebing, Sarah | | K | Koepke, Peter | | L | Libal, Tomer | | P | Postan, Ezequiel | | S | Sterling, Mark | | T | Tien Luong, An Thuy | | V | Vicary, Jamie | | W | Weigl, Alexander | | Wenzel, Makarius | | Woltzenlogel Paleo, Bruno | | Z | Zhumagambetov, Rustam | |
|
|