D | |
---|---|
[DS98] | Stéphane Demri and
Philippe Schnoebelen.
The Complexity of Propositional Linear Temporal
Logics in Simple Cases (extended abstract).
In STACS'98,
Lecture Notes in Computer Science 1373, pages 61-72. Springer-Verlag, February 1998.
|
Search
Displayed 1 resultList of authors
- 1
- 1