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: | School of Business, Economics & Informatics > Computer Science and Information Systems |
Depositing User: | Sarah Hall |
Date Deposited: | 11 May 2021 18:03 |
Last Modified: | 11 May 2021 18:03 |
URI: | https://eprints.bbk.ac.uk/id/eprint/44227 |
Statistics
Downloads
Activity Overview
6 month trend
6 month trend
Additional statistics are available via IRStats2.