Propositional linear temporal logic and language homomorphisms
Propositional linear temporal logic and language homomorphisms
3-540-58140-5
265--277
Nitsche, Ulrich
c7197159-3600-448f-97ec-281a20ce06d9
Nerode, Anil
7d3f033e-d405-45c2-a913-a1aa90de46e7
Matiyasevich, Yuri V.
2983422a-7576-491f-b131-7da14379e268
1994
Nitsche, Ulrich
c7197159-3600-448f-97ec-281a20ce06d9
Nerode, Anil
7d3f033e-d405-45c2-a913-a1aa90de46e7
Matiyasevich, Yuri V.
2983422a-7576-491f-b131-7da14379e268
Nitsche, Ulrich
(1994)
Propositional linear temporal logic and language homomorphisms.
Nerode, Anil and Matiyasevich, Yuri V.
(eds.)
Third International Symposium on Logical Foundations of Computer Science (LFCS '94), , St. Petersburg, Russian Federation.
11 Jul 1994 - 14 Jul 2004 .
.
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1994
Additional Information:
Address: Saint Petersburg, Russia
Venue - Dates:
Third International Symposium on Logical Foundations of Computer Science (LFCS '94), , St. Petersburg, Russian Federation, 1994-07-11 - 2004-07-14
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 252676
URI: http://eprints.soton.ac.uk/id/eprint/252676
ISBN: 3-540-58140-5
PURE UUID: 0ef0c471-1adb-4525-8e4f-7a9f3da8ee0c
Catalogue record
Date deposited: 10 Mar 2000
Last modified: 25 Sep 2023 16:34
Export record
Contributors
Author:
Ulrich Nitsche
Editor:
Anil Nerode
Editor:
Yuri V. Matiyasevich
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