Browse by Journal and Volume
 | Up a level |
Number of items: 1.
Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2000) Decidable fragment of first-order temporal logics. Annals of Pure and Applied Logic 106 (1-3), pp. 85-134. ISSN 0168-0072.