BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
1 × USA
Collaborated with:
M.A.Sohoni J.Garg R.Mehta
Talks about:
time (2) homeomorph (1) algorithm (1) tractabl (1) polynomi (1) bimatrix (1) complet (1) tempor (1) linear (1) trace (1)

Person: Bharat Adsul

DBLP DBLP: Adsul:Bharat

Contributed to:

STOC 20112011
ICALP 20022002

Wrote 2 papers:

STOC-2011-AdsulGMS #algorithm #game studies #morphism #polynomial
Rank-1 bimatrix games: a homeomorphism and a polynomial time algorithm (BA, JG, RM, MAS), pp. 195–204.
ICALP-2002-AdsulS #linear #logic
Complete and Tractable Local Linear Time Temporal Logics over Traces (BA, MAS), pp. 926–937.

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.