Logics of time and computation/
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Stanford, CA:
Center for the Study of Language and Information,
[c1992]
|
| Edition: | 2nd ed., rev. and expanded |
| Series: | CSLI lecture notes
7 |
| Subjects: |