Monodic first-order temporal logics : complexity, tableaux, and applications

Bibliographic Details
Main Author:	Kontchakov, Roman
Published:	King's College London (University of London) 2004
Subjects:	005.1015113
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.411317

id	ndltd-bl.uk-oai-ethos.bl.uk-411317
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-4113172015-03-19T08:32:23ZMonodic first-order temporal logics : complexity, tableaux, and applicationsKontchakov, Roman2004005.1015113King's College London (University of London)http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.411317Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005.1015113
spellingShingle	005.1015113 Kontchakov, Roman Monodic first-order temporal logics : complexity, tableaux, and applications
author	Kontchakov, Roman
author_facet	Kontchakov, Roman
author_sort	Kontchakov, Roman
title	Monodic first-order temporal logics : complexity, tableaux, and applications
title_short	Monodic first-order temporal logics : complexity, tableaux, and applications
title_full	Monodic first-order temporal logics : complexity, tableaux, and applications
title_fullStr	Monodic first-order temporal logics : complexity, tableaux, and applications
title_full_unstemmed	Monodic first-order temporal logics : complexity, tableaux, and applications
title_sort	monodic first-order temporal logics : complexity, tableaux, and applications
publisher	King's College London (University of London)
publishDate	2004
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.411317
work_keys_str_mv	AT kontchakovroman monodicfirstordertemporallogicscomplexitytableauxandapplications
_version_	1716764168264089600

Similar Items