|
|
Karl Schlechta (1988): Remarks to Shoham's Temporal Logic
| Title: |
Remarks to Shoham's Temporal Logic |
| Author(s): |
Karl Schlechta |
| Year: |
1988 |
| Booktitle: |
German Workshop on Artificial Intelligence GWAI--88 |
| Editor(s): |
W. Hoeppner |
| Number: |
181 |
| Pages: |
88-95 |
| Publisher: |
Springer |
| Address: |
Berlin u.a. |
Concepts
|
|
