Search the dblp DataBase
Robert S. Streett: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska
The Deducibility Problem in Propositional Dynamic Logic. [Citation Graph (0, 0)][DBLP]
ICALP, 1981, pp:238-248 [Conf] - Robert S. Streett, E. Allen Emerson
The Propositional Mu-Calculus is Elementary. [Citation Graph (0, 0)][DBLP]
ICALP, 1984, pp:465-472 [Conf] - Robert S. Streett
Fixpoints and Program Looping: Reductions form the Propositional MU-Calculus into Propositional Dynamic Logics of Looping. [Citation Graph (0, 0)][DBLP]
Logic of Programs, 1985, pp:359-372 [Conf] - Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska
The Deducibility Problem in Propositional Dynamic Logic. [Citation Graph (0, 0)][DBLP]
Logic of Programs, 1979, pp:12-22 [Conf] - Robert S. Streett
Propositional Dynamic Logic of Looping and Converse [Citation Graph (0, 0)][DBLP]
STOC, 1981, pp:375-383 [Conf] - Robert S. Streett
Propositional Dynamic Logic of Looping and Converse Is Elementarily Decidable [Citation Graph (0, 0)][DBLP]
Information and Control, 1982, v:54, n:1/2, pp:121-141 [Journal] - Robert S. Streett, E. Allen Emerson
An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1989, v:81, n:3, pp:249-264 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002