Martin Lange (University of Kassel
Identifiers
- name variant Martin Lange (University of Kassel 0.60 · backfill
Papers (2)
- Two-Buffer Simulation Games cs.FL · 2016 · author #7
- The \mu-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity cs.LO · 2012 · author #5
Mentions
- 1210.2455 #5 · backfill · confidence 0.70 Martin Lange (University of Kassel
Frequent Coauthors
- Germany) 2 shared papers
- CNRS 1 shared papers
- Dietrich Kuske (Technische Universit\"at Ilmenau 1 shared papers
- ENS Cachan 1 shared papers
- Etienne Lozes (LSV 1 shared papers
- Felix Klaedtke (ETH Zurich 1 shared papers
- France) 1 shared papers
- Julian Gutierrez (University of Cambridge 1 shared papers
- Milka Hutagalung (University of Kassel 1 shared papers
- Norbert Hundeshagen (University of Kassel 1 shared papers
- Switzerland) 1 shared papers
- United Kingdom) 1 shared papers