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
0Downloads
9Hits
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
 |
Edit/View Item |