Robert S. Streett

Publication Activity (10 Years)

Years Active: 1979-1989
Publications (10 Years): 0

Publications

Robert S. Streett, E. Allen Emerson
An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus Inf. Comput. 81 (3) (1989)
Robert S. Streett
Fixpoints and Program Looping: Reductions form the Propositional MU-Calculus into Propositional Dynamic Logics of Looping. Logic of Programs (1985)
Robert S. Streett, E. Allen Emerson
The Propositional Mu-Calculus is Elementary. ICALP (1984)
Robert S. Streett
Propositional Dynamic Logic of Looping and Converse Is Elementarily Decidable Inf. Control. 54 (1/2) (1982)
Robert S. Streett
Propositional Dynamic Logic of Looping and Converse STOC (1981)
Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska
The Deducibility Problem in Propositional Dynamic Logic. ICALP (1981)
Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska
The Deducibility Problem in Propositional Dynamic Logic. Logic of Programs (1979)