On the computational complexity of spatio-temporal logics

Gabelaia, D. and Kontchakov, R. and Kurucz, A. and Wolter, F. and Zakharyaschev, M. (2003) On the computational complexity of spatio-temporal logics. In: Proceedings of the 16th International Conference FLAIRS 2003.

Full text not available from this repository.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	UNSPECIFIED
ID Code:	167
Deposited By:	Dr Agi Kurucz
Deposited On:	26 Oct 2007 14:19
Last Modified:	01 Nov 2007 18:23

Repository Staff Only: item control page

Accessibility | Terms and Conditions | Last Modified 01 November 2007