Moumanti Podder

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 5

Top Topics

Monadic Second Order Logic

Quantifier Elimination

Extractive Summarization

Top Venues

Random Struct. Algorithms

ACM Trans. Comput. Log.

Publications

Moumanti Podder, Maksim Zhukovskii
Zero-One Laws for Existential First-Order Sentences of Bounded Quantifier Depth. ACM Trans. Comput. Log. 23 (2) (2022)
Erik Bates, Moumanti Podder
Avoidance couplings on non-complete graphs. Random Struct. Algorithms 59 (1) (2021)
Tobias Johnson, Moumanti Podder, Fiona Skerman
Random tree recursions: Which fixed points correspond to tangible sets of trees? Random Struct. Algorithms 56 (3) (2020)
Moumanti Podder
The first order theory of G(n, c∕n). Eur. J. Comb. 78 (2019)
Alexander E. Holroyd, Avi Levy, Moumanti Podder, Joel Spencer
Existential monadic second order logic on random rooted trees. Discret. Math. 342 (1) (2019)