# Florian Bruse

According to our database

Collaborative distances:

^{1}, Florian Bruse authored at least 7 papers between 2014 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

Space-Efficient Fragments of Higher-Order Fixpoint Logic.

Proceedings of the Reachability Problems - 11th International Workshop, 2017

On the relationship between higher-order recursion schemes and higher-order fixpoint logic.

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

A Canonical Model Construction for Iteration-Free PDL with Intersection.

Proceedings of the Seventh International Symposium on Games, 2016

Alternation Is Strict For Higher-Order Modal Fixpoint Logic.

Proceedings of the Seventh International Symposium on Games, 2016

2015

On guarded transformation in the modal μ-calculus.

Logic Journal of the IGPL, 2015

2014

The Fixpoint-Iteration Algorithm for Parity Games.

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Alternating Parity Krivine Automata.

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014