Browse by Types

Group by: Author(s) | School | No Grouping

Jump to: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences

Number of items: 1.

Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences

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

This list was generated on Sun Aug 3 01:46:06 2025 BST.