This page shows all presentations of this author published in EasyChair Smart Slide.
Computing All Minimal Ways to Reach a Context-Free Language
Florian Bruse and Martin Lange
The Calculus of Dual Influence
Florian Bruse, Martin Lange and Sören Möller
Formal Reasoning About Influence in Natural Sciences Experiments
Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic
Florian Bruse, Martin Lange and Etienne Lozes