Bharat Adsul

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Block products for algebras over countable words and applications to logic	2024-12-19	Paper
Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages	2024-08-13	Paper
Orbit closures, stabilizer limits and intermediate $G$-varieties	2023-09-27	Paper
Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words Journal of Computer and System Sciences	2023-06-12	Paper
scientific article; zbMATH DE number 7566078 (Why is no real title available?) (available as arXiv preprint)	2022-08-02	Paper
scientific article; zbMATH DE number 7566078 (Why is no real title available?)	2022-08-02	Paper
scientific article; zbMATH DE number 7559475 (Why is no real title available?) (available as arXiv preprint)	2022-07-18	Paper
First-order logic and its infinitary quantifier extensions over countable words (available as arXiv preprint)	2022-05-20	Paper
Geometric Complexity Theory -- Lie Algebraic Methods for Projective Limits of Stable Points	2022-01-01	Paper
A generalization of the Łoś-Tarski preservation theorem Annals of Pure and Applied Logic	2016-01-12	Paper
A generalization of the Łoś-Tarski preservation theorem over classes of finite structures Mathematical Foundations of Computer Science 2014	2014-10-14	Paper
Preservation under substructures modulo bounded cores Logic, Language, Information and Computation	2012-09-21	Paper
A geometric approach to the Kronecker problem. I: The two row case. Proceedings of the Indian Academy of Sciences. Mathematical Sciences	2008-09-08	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science	2006-11-14	Paper

Research outcomes over time

This page was built for person: Bharat Adsul