Abhishek De

17 papers A* 1B 4C 1Journal 6Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Note on Fixed Points in Łukasiewicz Logic. Logica Universalis Abhishek De
2025	J	`jnl`	An algebraic theory of ω-regular languages, via μν-expressions. CoRR Anupam Das, Abhishek De
2025	—	`conf`	Bounded Henkin Quantifiers and the Exponential Time Hierarchy. ICLA Abhishek De
2025	B	`conf`	Cyclic System for an Algebraic Theory of Alternating Parity Automata. TABLEAUX Anupam Das, Abhishek De
2025	J	`jnl`	Cyclic system for an algebraic theory of alternating parity automata. CoRR Anupam Das, Abhishek De
2025	B	`conf`	Right-Linear Lattices: An Algebraic Theory of ω-Regular Languages, with Fixed Points. MFCS Anupam Das, Abhishek De
2025	J	`jnl`	Undecidability of theories of semirings with fixed points. CoRR Anupam Das, Abhishek De, Stepan L. Kuznetsov
2024	—	`conf`	A Proof Theory of (ømega-)Context-Free Languages, via Non-wellfounded Proofs. IJCAR (2) Anupam Das, Abhishek De
2024	J	`jnl`	A proof theory of (omega-)context-free languages, via non-wellfounded proofs. CoRR Anupam Das, Abhishek De
2024	J	`jnl`	A proof theory of right-linear (omega-)grammars via cyclic proofs. CoRR Anupam Das, Abhishek De
2024	A*	`conf`	A proof theory of right-linear (ω-)grammars via cyclic proofs. LICS Anupam Das, Abhishek De
2023	—	`conf`	Comparing Infinitary Systems for Linear Logic with Fixed Points. FSTTCS Anupam Das, Abhishek De, Alexis Saurin
2022	B	`conf`	Decision Problems for Linear Logic with Least and Greatest Fixed Points. FSCD Anupam Das, Abhishek De, Alexis Saurin
2022	—	`—`	Linear logic with the least and greatest fixed points : truth semantics, complexity and a parallel syntax. (La logique linéaire avec les plus petits et les plus grands points fixes : la sémantique de vérité, la complexité, et une syntaxe parallèle). Abhishek De
2022	—	`conf`	Phase Semantics for Linear Logic with Least and Greatest Fixed Points. FSTTCS Abhishek De, Farzad Jafarrahmani, Alexis Saurin
2021	C	`conf`	Canonical proof-objects for coinductive programming: infinets with infinitely many cuts. PPDP Abhishek De, Luc Pellissier, Alexis Saurin
2019	B	`conf`	Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory. TABLEAUX Abhishek De, Alexis Saurin