×

zbMATH — the first resource for mathematics

Streett, Robert S.

Compute Distance To:
Author ID: streett.robert-s Recent zbMATH articles by "Streett, Robert S."
Published as: Streett, Robert S.
Documents Indexed: 7 Publications since 1981

Publications by Year

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.03023
Streett, Robert S.; Emerson, E. Allen
47
1989
Propositional dynamic logic of looping and converse is elementarily decidable. Zbl 0515.68062
Streett, Robert S.
44
1982
The propositional mu-calculus is elementary. Zbl 0556.68005
Streett, Robert S.; Emerson, E. Allen
14
1984
The deducibility problem in propositional dynamic logic. Zbl 0469.68041
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna
5
1981
The deducibility problem in propositional dynamic logic. Zbl 0466.68024
Meyer, 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.68033
Streett, Robert S.
1
1985
An automata theoretic decision procedure for the propositional mu- calculus. Zbl 0671.03023
Streett, 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.68033
Streett, Robert S.
1
1985
The propositional mu-calculus is elementary. Zbl 0556.68005
Streett, Robert S.; Emerson, E. Allen
14
1984
Propositional dynamic logic of looping and converse is elementarily decidable. Zbl 0515.68062
Streett, Robert S.
44
1982
The deducibility problem in propositional dynamic logic. Zbl 0469.68041
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna
5
1981
The deducibility problem in propositional dynamic logic. Zbl 0466.68024
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna
3
1981
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

Citations by Year