Computing Publications

Publications Home » Decidable and undecidable fragmen...

Decidable and undecidable fragments of first-order branching temporal logics

Ian Hodkinson, Frank Wolter, Michael Zakharyaschev

Conference or Workshop Paper
Logic in computer science (LICS)
2002
pp.393–402
IEEE Computer Society
ISSN 1043-6871
PDF of full publication (205 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.