BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Streett:Robert_S=

Contributed to:

ICALP 19841984
ICALP 19811981
STOC 19811981

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.