Authors

C.E. Areces
P. Blackburn
M.J. Marx

Date (dd-mm-yyyy)

2000

Title

The computational complexity of hybrid temporal logic

Publication Year

2000

Publisher

AmsterdamInstitute for Logic Language and Computation

Document type

Working paper

Permalink

https://hdl.handle.net/11245/1.177835