Browse by Person
 | Up a level |
Number of items: 2.
2002
Bauer, S. and Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2002) On non-local propositional and local one-variable quantified CTL*. In: UNSPECIFIED (ed.) TIME-2002: 9th International Symposium on Temporal Representation and Reasoning. IEEE Computer Society, pp. 2-9. ISBN 978076951474X.
2004
Bauer, S. and Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2004) On non-local propositional and weak monodic quantified CTL. Journal of Logic and Computation 14 (1), pp. 3-22. ISSN 0955-792X.