Edit Profile Streett, Robert S. Compute Distance To: Compute Author ID: streett.robert-s Published as: Streett, Robert S. Documents Indexed: 7 Publications since 1981 Co-Authors 3 single-authored 2 Emerson, Ernest Allen 2 Meyer, Albert Ronald 2 Mirkowska, Grazyna Serials 1 Information and Control 1 Information and Computation Fields 7 Mathematical logic and foundations (03-XX) 7 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 6 Publications have been cited 114 times in 98 Documents Cited by ▼ Year ▼ An automata theoretic decision procedure for the propositional mu- calculus. Zbl 0671.03023Streett, Robert S.; Emerson, E. Allen 47 1989 Propositional dynamic logic of looping and converse is elementarily decidable. Zbl 0515.68062Streett, Robert S. 44 1982 The propositional mu-calculus is elementary. Zbl 0556.68005Streett, Robert S.; Emerson, E. Allen 14 1984 The deducibility problem in propositional dynamic logic. Zbl 0469.68041Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna 5 1981 The deducibility problem in propositional dynamic logic. Zbl 0466.68024Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna 3 1981 Fixpoints and program looping: Reductions from the propositional MU- calculus into propositional dynamic logics of looping. Zbl 0603.68033Streett, Robert S. 1 1985 An automata theoretic decision procedure for the propositional mu- calculus. Zbl 0671.03023Streett, Robert S.; Emerson, E. Allen 47 1989 Fixpoints and program looping: Reductions from the propositional MU- calculus into propositional dynamic logics of looping. Zbl 0603.68033Streett, Robert S. 1 1985 The propositional mu-calculus is elementary. Zbl 0556.68005Streett, Robert S.; Emerson, E. Allen 14 1984 Propositional dynamic logic of looping and converse is elementarily decidable. Zbl 0515.68062Streett, Robert S. 44 1982 The deducibility problem in propositional dynamic logic. Zbl 0469.68041Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna 5 1981 The deducibility problem in propositional dynamic logic. Zbl 0466.68024Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna 3 1981 all cited Publications top 5 cited Publications all top 5 Cited by 144 Authors 7 Walukiewicz, Igor 5 Lange, Martin 5 Vardi, Moshe Y. 4 Emerson, Ernest Allen 4 Mateescu, Radu 3 Alberucci, Luca 3 Bradfield, Julian Charles 3 Kozen, Dexter C. 3 Passy, Solomon 3 Santocanale, Luigi 3 Shilov, Nikolay V. 3 Studer, Thomas 2 Arnold, André 2 Boker, Udi 2 Dam, Mads 2 De Giacomo, Giuseppe 2 de Jong, Hidde 2 Dumas, Estelle 2 Facchini, Alessandro 2 Friedmann, Oliver 2 Goldblatt, Robert Ian 2 Gurov, Dilian 2 Lang, Frédéric 2 Lutz, Carsten 2 Monteiro, Pedro T. 2 Niwiński, Damian 2 Piterman, Nir 2 Pnueli, Amir 2 Tinchev, Tinko 1 Angluin, Dana 1 Baldan, Paolo 1 Bernshtein, A. Yu. 1 Bloem, Roderick 1 Bolotov, Alexander 1 Boudou, Joseph 1 Bucheli, Samuel 1 Calvanese, Diego 1 Chen, Xiaojun 1 Clarke, Edmund Melson jun. 1 Cranen, Sjoerd 1 Cui, Bin 1 D’Agostino, Giovanna 1 Dima, Cătălin 1 Draghicescu, I. A. 1 Duan, Zhenhua 1 Eiter, Thomas 1 Enqvist, Sebastian 1 Fernández Duque, David 1 Fischer, Michael J. 1 Fisman, Dana 1 Fujima, Koichi 1 Gabow, Harold N. 1 Garavel, Hubert 1 Gargov, George K. 1 Gazda, Maciej W. 1 Givan, Robert L. 1 Guerraoui, Rachid 1 Halpern, Joseph Yehuda 1 Harel, David 1 Henzinger, Thomas A. 1 Hermo, Montserrat 1 Hirst, Tirza 1 Hollenberg, Marco 1 Holzer, Markus 1 Huisman, Marieke 1 Immerman, Neil 1 Jäger, Gerhard 1 Jutla, Charanjit S. 1 Kahle, Reinhard 1 Kaivola, Roope 1 Kaminski, Mark 1 Kaminsky, Michael 1 Kapron, Bruce M. 1 Kesten, Yonit 1 Kimura, Shigetomo 1 Kobayashi, Naoki 1 Kowalski, Tomasz Marek 1 Kretz, Mathis 1 Kurshan, Robert P. 1 Kutrib, Martin 1 Kuznets, Roman 1 Larsen, Kim Guldstrand 1 Latte, Markus 1 Liu, Yao 1 Löding, Christof 1 Lorini, Emiliano 1 Lucio, Paqui 1 Makowsky, Johann-Andreas 1 Mardare, Radu 1 Marti, Michel 1 Massacci, Fabio 1 Matteucci, Ilaria 1 McAllester, David Allen 1 Muller, David E. 1 Nebel, Bernhard 1 Nepomnyashchy, V. A. 1 Niebert, Peter 1 Ong, C.-H. Luke 1 Orłowska, Ewa S. 1 Ortiz, Magdalena ...and 44 more Authors all top 5 Cited in 26 Serials 22 Theoretical Computer Science 12 Information and Computation 6 Journal of Computer and System Sciences 5 Information Processing Letters 4 Studia Logica 3 Journal of Philosophical Logic 3 The Journal of Symbolic Logic 3 The Journal of Logic and Algebraic Programming 2 Annals of Pure and Applied Logic 2 Formal Methods in System Design 2 Journal of Applied Non-Classical Logics 2 Journal of Applied Logic 1 Acta Informatica 1 Artificial Intelligence 1 Information Sciences 1 Programming and Computer Software 1 Cybernetics 1 Formal Aspects of Computing 1 Distributed Computing 1 RAIRO. Informatique Théorique et Applications 1 The Bulletin of Symbolic Logic 1 RAIRO. Theoretical Informatics and Applications 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 9 Fields 82 Computer science (68-XX) 67 Mathematical logic and foundations (03-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 History and biography (01-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Biology and other natural sciences (92-XX) 1 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) 1 Systems theory; control (93-XX) Citations by Year