Travelled to:1 × Belgium
1 × Israel
1 × USA
Collaborated with:E.A.Emerson ∅ A.R.Meyer G.Mirkowska
Talks about:proposit (3) logic (2) dynam (2) elementari (1) calculus (1) problem (1) convers (1) deduc (1) loop (1)
Person: Robert S. Streett
DBLP: Streett:Robert_S=
Contributed to:
19841981
1981Wrote 3 papers:
- ICALP-1984-StreettE #calculus #μ-calculus
- The Propositional μ-Calculus is Elementary (RSS, EAE), pp. 465–472.
- ICALP-1981-MeyerSM #deduction #logic #problem
- The Deducibility Problem in Propositional Dynamic Logic (ARM, RSS, GM), pp. 238–248.
- STOC-1981-Streett #logic
- Propositional Dynamic Logic of Looping and Converse (RSS), pp. 375–383.