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: Karandikar:Prateek
Contributed to:
2013
2016Wrote 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.