BIROn - Birkbeck Institutional Research Online

    The mosaic method for temporal logics

    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.

    Full text not available from this repository.

    Metadata

    Item Type: Book Section
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Sarah Hall
    Date Deposited: 13 Jul 2021 14:53
    Last Modified: 09 Aug 2023 12:51
    URI: https://eprints.bbk.ac.uk/id/eprint/45082

    Statistics

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    103Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item
    Edit/View Item