3rd International Conference on Formal Structures for Computation and Deduction FSCD 2018, July 9-12, 2018, Oxford, United Kingdom - Kirchner, Hélène 1952- (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2018)
Literaturangaben