Saptarshi Sarkar

From MaRDI portal
Revision as of 00:35, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:2140477

Available identifiers

zbMath Open sarkar.saptarshiMaRDI QIDQ2140477

List of research outcomes





PublicationDate of PublicationType
Block products for algebras over countable words and applications to logic2024-12-19Paper
Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages2024-08-13Paper
Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words2023-06-12Paper
https://portal.mardi4nfdi.de/entity/Q50941522022-08-02Paper
https://portal.mardi4nfdi.de/entity/Q50892842022-07-18Paper
First-order logic and its infinitary quantifier extensions over countable words2022-05-20Paper

Research outcomes over time

This page was built for person: Saptarshi Sarkar

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2140477&oldid=7387363"
Powered by MediaWiki