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 Sciences and Engineering > Electronics and Computer Science
ePrint ID: 250616
Date Deposited: 04 Aug 1999
Last Modified: 27 Mar 2014 19:51
Publisher: World Scientific, Singapore
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250616

Actions (login required)

View Item View Item