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)
IEEE Computer Society
ISSN 1043-6871
PDF of full publication (205 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.