Sebastian Bauer

Publication Activity (10 Years)

Years Active: 2002-2004
Publications (10 Years): 0

Publications

Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
On Non-local Propositional and Weak Monodic Quantified CTL. J. Log. Comput. 14 (1) (2004)
Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME (2002)