A Finitary Language Semantics for Propositional Linear Temporal Logic
A Finitary Language Semantics for Propositional Linear Temporal Logic
ISBN 981-02-2682-9
482-489
Nitsche, U.
6d9cf989-a6bb-4dee-b363-aa239b544072
Dassow, J.
f05d0d66-4ee4-4626-911f-4a47165a27f2
Rozenberg, G.
57dc8de6-a371-4134-a52c-5bb01d9aa158
Salomaa, A.
d0fda1ec-8869-499d-92a7-c0e91f0a371d
1996
Nitsche, U.
6d9cf989-a6bb-4dee-b363-aa239b544072
Dassow, J.
f05d0d66-4ee4-4626-911f-4a47165a27f2
Rozenberg, G.
57dc8de6-a371-4134-a52c-5bb01d9aa158
Salomaa, A.
d0fda1ec-8869-499d-92a7-c0e91f0a371d
Nitsche, U.
(1996)
A Finitary Language Semantics for Propositional Linear Temporal Logic.
Dassow, J., Rozenberg, G. and Salomaa, A.
(eds.)
Proc. 2nd Int. Conf. Developments in Language Theory (DLT).
.
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1996
Additional Information:
Address: Magdeburg, Germany
Venue - Dates:
Proc. 2nd Int. Conf. Developments in Language Theory (DLT), 1996-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250616
URI: http://eprints.soton.ac.uk/id/eprint/250616
ISBN: ISBN 981-02-2682-9
PURE UUID: 7af1f956-f9c4-4b93-a888-f31ea6fda001
Catalogue record
Date deposited: 04 Aug 1999
Last modified: 10 Dec 2021 20:10
Export record
Contributors
Author:
U. Nitsche
Editor:
J. Dassow
Editor:
G. Rozenberg
Editor:
A. Salomaa
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.
View more statistics