BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
E.A.Emerson M.Evangelist T.Sadler A.K.Mok A.P.Sistla
Talks about:
tempor (3) reason (2) effici (2) quantit (1) limit (1) decid (1)

Person: Jai Srinivasan

DBLP DBLP: Srinivasan:Jai

Contributed to:

CAV 19901990
LICS 19901990
POPL 19891989

Wrote 3 papers:

CAV-1990-EmersonMSS #reasoning
Quantitative Temporal Reasoning (EAE, AKM, APS, JS), pp. 136–145.
LICS-1990-EmersonES #decidability #on the #performance
On the Limits of Efficient Temporal Decidability (EAE, ME, JS), pp. 464–475.
POPL-1989-EmersonSS #performance #reasoning
Efficient Temporal Reasoning (EAE, TS, JS), pp. 166–178.

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.