Propositional Linear Temporal Logic and Language Homomorphisms
Nitsche, U. (1994) Propositional Linear Temporal Logic and Language Homomorphisms. Proc. 3rd Int. Symp. on Logical Foundations of Computer Science (LFCS), LNCS 813 Springer Verlag, Berlin, 265-277.
Download
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Address: Saint Petersburg, Russia |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 253217 |
| Date Deposited: | 03 May 2000 |
| Last Modified: | 01 Mar 2012 10:35 |
| Contributors: | Nitsche, U. (Author) Nerode, A. (Editor) Matiyasevich, Y. (Editor) |
| Date: | 1994 |
| Additional Information: | Address: Saint Petersburg, Russia |
| Status: | Published |
| Publisher: | Springer Verlag, Berlin |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/253217 |
Actions (login required)
 |
View Item |
