Login / Signup
Abhishek De
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 9
Top Topics
Regular Languages
Theorem Prover
Fixed Point
Linear Logic
Top Venues
CoRR
FSTTCS
LICS
FSCD
</>
Publications
</>
Anupam Das
,
Abhishek De
A Proof Theory of (ømega-)Context-Free Languages, via Non-wellfounded Proofs.
IJCAR (2)
(2024)
Anupam Das
,
Abhishek De
A proof theory of right-linear (ω-)grammars via cyclic proofs.
LICS
(2024)
Anupam Das
,
Abhishek De
A proof theory of (omega-)context-free languages, via non-wellfounded proofs.
CoRR
(2024)
Anupam Das
,
Abhishek De
A proof theory of right-linear (omega-)grammars via cyclic proofs.
CoRR
(2024)
Anupam Das
,
Abhishek De
,
Alexis Saurin
Comparing Infinitary Systems for Linear Logic with Fixed Points.
FSTTCS
(2023)
Abhishek De
,
Farzad Jafar-Rahmani
,
Alexis Saurin
Phase Semantics for Linear Logic with Least and Greatest Fixed Points.
FSTTCS
(2022)
Anupam Das
,
Abhishek De
,
Alexis Saurin
Decision Problems for Linear Logic with Least and Greatest Fixed Points.
FSCD
(2022)
Abhishek De
,
Luc Pellissier
,
Alexis Saurin
Canonical proof-objects for coinductive programming: infinets with infinitely many cuts.
PPDP
(2021)
Abhishek De
,
Alexis Saurin
Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory.
TABLEAUX
(2019)