BIROn - Birkbeck Institutional Research Online

    Monodic first-order temporal logics: complexity, tableaux, and applications

    Kontchakov, Roman (2004) Monodic first-order temporal logics: complexity, tableaux, and applications. Doctoral thesis, Kings College, London, UK.

    Full text not available from this repository.

    Metadata

    Item Type: Previously completed thesis (Doctoral)
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Sarah Hall
    Date Deposited: 11 May 2021 18:03
    Last Modified: 09 Aug 2023 12:50
    URI: https://eprints.bbk.ac.uk/id/eprint/44227

    Statistics

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

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item