Sebastian Bauer

According to our database, Sebastian Bauer authored at least 2 papers between 2002 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

On Non-local Propositional and Weak Monodic Quantified CTL.

Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev

J. Log. Comput., 2004

2002

On Non-Local Propositional and Local One-Variable Quantified CTL*.

Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev

Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002