1989 | ||
---|---|---|
7 | Robert S. Streett, E. Allen Emerson: An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus Inf. Comput. 81(3): 249-264 (1989) | |
1985 | ||
6 | Robert S. Streett: Fixpoints and Program Looping: Reductions form the Propositional MU-Calculus into Propositional Dynamic Logics of Looping. Logic of Programs 1985: 359-372 | |
1984 | ||
5 | Robert S. Streett, E. Allen Emerson: The Propositional Mu-Calculus is Elementary. ICALP 1984: 465-472 | |
1982 | ||
4 | Robert S. Streett: Propositional Dynamic Logic of Looping and Converse Is Elementarily Decidable Information and Control 54(1/2): 121-141 (1982) | |
1981 | ||
3 | Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska: The Deducibility Problem in Propositional Dynamic Logic. ICALP 1981: 238-248 | |
2 | Robert S. Streett: Propositional Dynamic Logic of Looping and Converse STOC 1981: 375-383 | |
1979 | ||
1 | Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska: The Deducibility Problem in Propositional Dynamic Logic. Logic of Programs 1979: 12-22 |
1 | E. Allen Emerson | [5] [7] |
2 | Albert R. Meyer | [1] [3] |
3 | Grazyna Mirkowska | [1] [3] |