Propositional Linear Temporal Logic and Language


Nitsche, Ulrich, (1994) Propositional Linear Temporal Logic and Language Nerode, Anil and Matiyasevich, Yuri V. (eds.) At Proceedings of the 3rd International Symposium on Logical Foundations of Computer Science (LFCS'94). , 265--277.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
Venue - Dates: Proceedings of the 3rd International Symposium on Logical Foundations of Computer Science (LFCS'94), 1994-01-01
Organisations: Electronics & Computer Science
ePrint ID: 252676
Date :
Date Event
1994Published
Date Deposited: 10 Mar 2000
Last Modified: 17 Apr 2017 23:31
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/252676

Actions (login required)

View Item View Item