dblp.uni-trier.dewww.uni-trier.de

Robert S. Streett

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1E. Allen Emerson [5] [7]
2Albert R. Meyer [1] [3]
3Grazyna Mirkowska [1] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)