Propositional Linear Temporal Logic and Language Homomorphisms


Nitsche, U., (1994) Propositional Linear Temporal Logic and Language Homomorphisms Nerode, A. and Matiyasevich, Y. (eds.) At Proc. 3rd Int. Symp. on Logical Foundations of Computer Science (LFCS), LNCS 813. , pp. 265-277.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
Additional Information: Address: Saint Petersburg, Russia
Venue - Dates: Proc. 3rd Int. Symp. on Logical Foundations of Computer Science (LFCS), LNCS 813, 1994-01-01
Organisations: Electronics & Computer Science
ePrint ID: 253217
Date :
Date Event
1994Published
Date Deposited: 03 May 2000
Last Modified: 17 Apr 2017 23:26
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/253217

Actions (login required)

View Item View Item