×

zbMATH — the first resource for mathematics

Karandikar, Prateek

Compute Distance To:
Author ID: karandikar.prateek Recent zbMATH articles by "Karandikar, Prateek"
Published as: Karandikar, P.; Karandikar, Prateek
Documents Indexed: 12 Publications since 2012

Publications by Year

Citations contained in zbMATH

8 Publications have been cited 25 times in 15 Documents Cited by Year
On the index of Simon’s congruence for piecewise testability. Zbl 1312.68160
Karandikar, P.; Kufleitner, M.; Schnoebelen, Ph.
7
2015
On the state complexity of closures and interiors of regular languages with subwords and superwords. Zbl 1332.68118
Karandikar, P.; Niewerth, M.; Schnoebelen, Ph.
4
2016
Decidability in the logic of subsequences and supersequences. Zbl 1366.03167
Karandikar, Prateek; Schnoebelen, Philippe
4
2015
The height of piecewise-testable languages with applications in logical complexity. Zbl 1369.68221
Karandikar, Prateek; Schnoebelen, Philippe
3
2016
The parametric ordinal-recursive complexity of Post embedding problems. Zbl 1260.68179
Karandikar, Prateek; Schmitz, Sylvain
3
2013
Cutting through regular Post embedding problems. Zbl 1315.03064
Karandikar, Prateek; Schnoebelen, Philippe
2
2012
Generalized Post embedding problems. Zbl 1316.03020
Karandikar, Prateek; Schnoebelen, Philippe
1
2015
Unidirectional channel systems can be tested. Zbl 1362.68174
Jančar, Petr; Karandikar, Prateek; Schnoebelen, Philippe
1
2012
On the state complexity of closures and interiors of regular languages with subwords and superwords. Zbl 1332.68118
Karandikar, P.; Niewerth, M.; Schnoebelen, Ph.
4
2016
The height of piecewise-testable languages with applications in logical complexity. Zbl 1369.68221
Karandikar, Prateek; Schnoebelen, Philippe
3
2016
On the index of Simon’s congruence for piecewise testability. Zbl 1312.68160
Karandikar, P.; Kufleitner, M.; Schnoebelen, Ph.
7
2015
Decidability in the logic of subsequences and supersequences. Zbl 1366.03167
Karandikar, Prateek; Schnoebelen, Philippe
4
2015
Generalized Post embedding problems. Zbl 1316.03020
Karandikar, Prateek; Schnoebelen, Philippe
1
2015
The parametric ordinal-recursive complexity of Post embedding problems. Zbl 1260.68179
Karandikar, Prateek; Schmitz, Sylvain
3
2013
Cutting through regular Post embedding problems. Zbl 1315.03064
Karandikar, Prateek; Schnoebelen, Philippe
2
2012
Unidirectional channel systems can be tested. Zbl 1362.68174
Jančar, Petr; Karandikar, Prateek; Schnoebelen, Philippe
1
2012

Citations by Year