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
Towards Graphical Feedback in the DiMo Learning Tool
Maurice Herwig, Norbert Hundeshagen and Martin Lange
Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic
Florian Bruse, Martin Lange and Etienne Lozes