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

Archive Staff Only (login required)

Edit/View Item