The complexity of propositional linear temporal logics
| Type of publication: | Article |
| Citation: | sistla:1985:cpl |
| Journal: | Journal of the Association for Computing Machinery |
| Volume: | 32 |
| Number: | 3 |
| Year: | 1985 |
| Month: | July |
| Pages: | 733--749 |
| Publisher: | ACM |
| Address: | New York, NY, USA |
| Userfields: | acmid={3837}, date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, issue_date={July 1985}, numpages={17}, project={fremdliteratur}, |
| Keywords: | |
| Authors | |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
|