Birkbeck, University of London logo
BIROn - Birkbeck Institutional Research Online

    Browse by Types

    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Author(s) | School | No Grouping
    Number of items: 1.

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

    This list was generated on Mon Dec 23 02:24:58 2024 GMT.