Abhishek De

According to our database, Abhishek De authored at least 13 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

An algebraic theory of ω-regular languages, via μν-expressions.

Anupam Das, Abhishek De

CoRR, May, 2025

Cyclic system for an algebraic theory of alternating parity automata.

Anupam Das, Abhishek De

CoRR, May, 2025

Right-Linear Lattices: An Algebraic Theory of ω-Regular Languages, with Fixed Points.

Anupam Das, Abhishek De

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

Bounded Henkin Quantifiers and the Exponential Time Hierarchy.

Abhishek De

Proceedings of the Logic and Its Applications - 11th Indian Conference, 2025

2024

A proof theory of right-linear (omega-)grammars via cyclic proofs.

Anupam Das, Abhishek De

CoRR, 2024

A proof theory of right-linear (ω-)grammars via cyclic proofs.

Anupam Das, Abhishek De

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

A Proof Theory of (ømega-)Context-Free Languages, via Non-wellfounded Proofs.

Anupam Das, Abhishek De

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

Comparing Infinitary Systems for Linear Logic with Fixed Points.

Anupam Das, Abhishek De, Alexis Saurin

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

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

PhD thesis, 2022

Phase Semantics for Linear Logic with Least and Greatest Fixed Points.

Abhishek De, Farzad Jafarrahmani, Alexis Saurin

Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

Decision Problems for Linear Logic with Least and Greatest Fixed Points.

Anupam Das, Abhishek De, Alexis Saurin

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Canonical proof-objects for coinductive programming: infinets with infinitely many cuts.

Abhishek De, Luc Pellissier, Alexis Saurin

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2019

Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory.

Abhishek De, Alexis Saurin

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019