Robert S. Streett
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1981–1984
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1984 | ICALP | The Propositional Mu-Calculus is Elementary. | Robert S. Streett, E. Allen Emerson |
| 1981 | ICALP | The Deducibility Problem in Propositional Dynamic Logic. | Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska |
| 1981 | STOC | Propositional Dynamic Logic of Looping and Converse | Robert S. Streett |