bibliographer - Anupam Das

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Algebras for Automata: Reasoning with Regularity (Invited Talk) Anupam Das [github]

A proof theory of (omega-)context-free languages, via non-wellfounded proofs Anupam Das Abhishek De [github]

A proof theory of right-linear (omega-)grammars via cyclic proofs Anupam Das Abhishek De [github]

Computational expressivity of (circular) proofs with fixed points Gianluca Curzi Anupam Das [github]

A circular version of Gødel's T and its abstraction complexity Anupam Das [github]

A Functional (Monadic) Second-Order Theory of Infinite Trees Anupam Das Colin Riba [github]

From QBFs to MALL and back via focussing: fragments of multiplicative additive linear logic for each level of the polynomial hierarchy Anupam Das [github]

On the logical complexity of cyclic arithmetic Anupam Das [github]

A Cut-Free Cyclic Proof System for Kleene Algebra Anupam Das Damien Pous [github]

Library Size: 13G (9 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]