FSCD Dortmund & Geuvers, H. (2019). 4th International Conference on Formal Structures for Computation and Deduction: FSCD 2019, June 24–30, 2019, Dortmund, Germany. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing.
Chicago-Zitierstil (17. Ausg.)FSCD Dortmund und Herman Geuvers. 4th International Conference on Formal Structures for Computation and Deduction: FSCD 2019, June 24–30, 2019, Dortmund, Germany. Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2019.
MLA-Zitierstil (9. Ausg.)FSCD Dortmund und Herman Geuvers. 4th International Conference on Formal Structures for Computation and Deduction: FSCD 2019, June 24–30, 2019, Dortmund, Germany. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2019.