Browse by Person
Up a level |
Jump to: Journal of Logic and Computation
Number of items: 1.
Journal of Logic and Computation
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.