A Finitary Language Semantics for Propositional Linear Temporal Logic
Nitsche, U. (1996) A Finitary Language Semantics for Propositional Linear Temporal Logic. Proc. 2nd Int. Conf. Developments in Language Theory (DLT) World Scientific, Singapore, 482-489.
Download
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Address: Magdeburg, Germany |
| ISBNs: | 9810226829 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 250616 |
| Date Deposited: | 04 Aug 1999 |
| Last Modified: | 02 Mar 2012 14:01 |
| Contributors: | Nitsche, U. (Author) Dassow, J. (Editor) Rozenberg, G. (Editor) Salomaa, A. (Editor) |
| Date: | 1996 |
| Additional Information: | Address: Magdeburg, Germany |
| Status: | Published |
| Publisher: | World Scientific, Singapore |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/250616 |
Actions (login required)
 |
View Item |
