Nitsche, U. (1997) Interpretation of the Full Computation Tree Logic $CTL^*$ on Sets of Infinite Sequences. Adian, S. and Nerode, A. (eds.) Proc. 4th Int. Conf. Logical Foundations of Computer Science (LFCS), LNCS 1234. pp. 276-282 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1997
Additional Information:
Address: Yaroslavl, Russia
Venue - Dates:
Proc. 4th Int. Conf. Logical Foundations of Computer Science (LFCS), LNCS 1234, 1997-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250571
URI: http://eprints.soton.ac.uk/id/eprint/250571
ISBN: ISBN 3-540-63045-7
PURE UUID: 512bb1c1-503a-4d12-bc2b-ab56b7bce2f6
Catalogue record
Date deposited: 04 Aug 1999
Last modified: 07 Jan 2022 21:08
Export record
Contributors
Author:
U. Nitsche
Editor:
S. Adian
Editor:
A. Nerode
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.