A. V. Sreejith

Available identifiers

zbMath Open sreejith.a-vMaRDI QIDQ2140478

List of research outcomes

Publication	Date of Publication	Type
Block products for algebras over countable words and applications to logic	2024-12-19	Paper
Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words	2023-06-12	Paper
First-order logic and its infinitary quantifier extensions over countable words	2022-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q5216303	2020-02-17	Paper
Two-Variable Logic over Countable Linear Orderings	2018-03-21	Paper
Two-variable first order logic with counting quantifiers: complexity results	2017-10-13	Paper
Non-definability of Languages by Generalized First-order Formulas over (N,+)	2017-05-16	Paper
Expressive completeness for LTL with modulo counting and group quantifiers	2016-10-07	Paper
Limited set quantifiers over countable linear orderings	2015-11-04	Paper
LTL Can Be More Succinct	2010-10-04	Paper

Research outcomes over time

This page was built for person: A. V. Sreejith