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 × Italy
Collaborated with:
S.Schmitz P.Schnoebelen
Talks about:
complex (2) piecewis (1) parametr (1) testabl (1) problem (1) languag (1) recurs (1) height (1) applic (1) ordin (1)

Person: Prateek Karandikar

DBLP DBLP: Karandikar:Prateek

Contributed to:

FOSSACS 20132013
CSL 20162016

Wrote 2 papers:

FoSSaCS-2013-KarandikarS #complexity #parametricity #problem #recursion
The Parametric Ordinal-Recursive Complexity of Post Embedding Problems (PK, SS), pp. 273–288.
CSL-2016-KarandikarS #complexity #logic
The Height of Piecewise-Testable Languages with Applications in Logical Complexity (PK, PS), p. 22.

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.