EasyChair Smart SlideDocs/Log in
Author: Martin Lange

This page shows all presentations of this author published in EasyChair Smart Slide.

Computing All Minimal Ways to Reach a Context-Free Language

Computing All Minimal Ways to Reach a Context-Free Language

Florian Bruse and Martin Lange

The Calculus of Dual Influence

The Calculus of Dual Influence

Florian Bruse, Martin Lange and Sören Möller

Formal Reasoning About Influence in Natural Sciences Experiments

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

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

Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic

Florian Bruse, Martin Lange and Etienne Lozes

Presentations in this collection: 5
Copyright © 2002 – 2024 EasyChair