A Finitary Language Semantics for Propositional Linear Temporal Logic


Nitsche, U., (1996) A Finitary Language Semantics for Propositional Linear Temporal Logic Dassow, J., Rozenberg, G. and Salomaa, A. (eds.) At Proc. 2nd Int. Conf. Developments in Language Theory (DLT). , pp. 482-489.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
Additional Information: Address: Magdeburg, Germany
Venue - Dates: Proc. 2nd Int. Conf. Developments in Language Theory (DLT), 1996-01-01
Organisations: Electronics & Computer Science
ePrint ID: 250616
Date :
Date Event
1996Published
Date Deposited: 04 Aug 1999
Last Modified: 18 Apr 2017 00:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250616

Actions (login required)

View Item View Item