This page shows all presentations of this author published in EasyChair Smart Slide.
Formal Reasoning About Influence in Natural Sciences Experiments
Florian Bruse, Martin Lange and Sören Möller
Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic
Florian Bruse, Martin Lange and Etienne Lozes