Kamal Lodaya
发表
D. Khemani,
Shikha Singh,
Kamal Lodaya,
2022,
ArXiv.
D. Khemani,
Shikha Singh,
Kamal Lodaya,
2022,
ArXiv.
Kamal Lodaya,
Kamal Lodaya,
2020
.
Kamal Lodaya,
A. V. Sreejith,
A. Sreejith,
2017,
DLT.
Madhavan Mukund,
Ramchandra Phawade,
Kamal Lodaya,
2011,
DCFS.
Pascal Weil,
Kamal Lodaya,
P. Weil,
2000,
Theor. Comput. Sci..
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
pdf
Howard Straubing,
Andreas Krebs,
Kamal Lodaya,
2019,
Log. Methods Comput. Sci..
Howard Straubing,
Andreas Krebs,
Kamal Lodaya,
2018,
CSL.
Kamal Lodaya,
Paritosh K. Pandya,
P. Pandya,
2017,
M4M@ICLA.
Kamal Lodaya,
Kamal Lodaya,
2006,
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
Kamal Lodaya,
Kamal Lodaya,
2006,
Acta Cybern..
Kamal Lodaya,
2020
.
Kamal Lodaya,
Kamal Lodaya,
2013,
Lecture Notes in Computer Science.
P. S. Thiagarajan,
Ramaswamy Ramanujam,
Rohit Parikh,
1995,
Inf. Comput..
K. Lodaya,
Kamal Lodaya,
2008
.
Ramaswamy Ramanujam,
Kamal Lodaya,
R. Ramanujam,
2000,
CIAA.
Kamal Lodaya,
Kamal Lodaya,
2000,
ASIAN.
R. Ramanujam,
K. Lodaya,
Kamal Lodaya,
2011
.
D. Khemani,
Shikha Singh,
Kamal Lodaya,
2022,
2211.02452.
R. K. Shyamasundar,
Kamal Lodaya,
R. Shyamasundar,
1990,
Acta Informatica.
Pascal Weil,
Kamal Lodaya,
P. Weil,
2002,
Inf. Comput..
M. Praveen,
Kamal Lodaya,
M. Praveen,
2011,
CONCUR.
K. Rangarajan,
Kamal Lodaya,
D. Ranganayakulu,
2003,
ASIAN.
Pascal Weil,
Kamal Lodaya,
P. Weil,
1998,
FSTTCS.
Pascal Weil,
Kamal Lodaya,
P. Weil,
1998,
STACS.
Kamal Lodaya,
Paritosh K. Pandya,
P. Pandya,
2006,
FORMATS.
P. S. Thiagarajan,
Kamal Lodaya,
P. Thiagarajan,
1987,
ICALP.
Howard Straubing,
Andreas Krebs,
Kamal Lodaya,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
M. Praveen,
Kamal Lodaya,
M. Praveen,
2009,
FSTTCS.