Browse by Types

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

Jump to: K

Number of items: 1.

K

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

This list was generated on Sat Nov 23 02:39:34 2024 GMT.