Bharat Adsul

Available identifiers

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	2023-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q5094152	2022-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5089284	2022-07-18	Paper
First-order logic and its infinitary quantifier extensions over countable words	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	2016-01-12	Paper
A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures	2014-10-14	Paper
Preservation under Substructures modulo Bounded Cores	2012-09-21	Paper
A geometric approach to the Kronecker problem. I: The two row case.	2008-09-08	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper

This page was built for person: Bharat Adsul