BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Jump to: 2000 | 2001
    Number of items: 2.


    Marx, M. and Mikulas, Szabolcs and Reynolds, M. (2000) The mosaic method for temporal logics. In: Dyckhoff, R. (ed.) Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000. Lecture Notes in Computer Science 1874. Springer, pp. 324-340. ISBN 9783540676973.


    Reynolds, M. and Zakharyaschev, Michael (2001) On the products of linear modal logics. Journal of Logic and Computation 11 (6), pp. 909-931. ISSN 0955-792X.

    This list was generated on Thu Jul 18 05:48:52 2024 BST.