Birkbeck, University of London logo
BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Author(s) | Date | School | No Grouping
    Jump to: 2000
    Number of items: 1.

    2000

    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.

    This list was generated on Sat May 4 04:21:56 2024 BST.