Anupam Das

Colleges, School and Institutes

View graph of relations

Most downloaded publications

On linear rewriting systems for Boolean logic and some applications to proof theory
Anupam Das, 27 Apr 2017, In : Logical Methods in Computer Science. 12, 4, p. 1-27 27 p., 9.

Research output: Contribution to journal › Article

36 downloads
From positive and intuitionistic bounded arithmetic to monotone proof complexity
Anupam Das, 5 Jul 2016, LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery (ACM), p. 126-135

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

30 downloads
A cut-free cyclic proof system for kleene algebra
Anupam Das, 30 Aug 2017, Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28 2017, Proceedings. Nalon, C. & Schmidt, R. A. (eds.). Springer, p. 261-277 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10501 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

29 downloads
Focussing, MALL and the Polynomial Hierarchy
Anupam Das, 30 Jun 2018, Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Sebastiani, R., Galmiche, D. & Schulz, S. (eds.). Springer, p. 689-705 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10900 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

18 downloads
On the logical complexity of cyclic arithmetic
Anupam Das, 6 Jan 2020, In : Logical Methods in Computer Science. 16, 1, p. 1:1 - 1:39 39 p., 4818.

Research output: Contribution to journal › Article

2 downloads

Recent publications

On the logical complexity of cyclic arithmetic
Anupam Das, 6 Jan 2020, In : Logical Methods in Computer Science. 16, 1, p. 1:1 - 1:39 39 p., 4818.

Research output: Contribution to journal › Article

Proof complexity of systems of (non-deterministic) decision trees and branching programs
Anupam Das, 31 Dec 2019, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Fernández, M. & Muscholl, A. (eds.). Schloss Dagstuhl, p. 12:1-12:17 17 p. 12. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 152).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Left-handed completeness for Kleene algebra, via cyclic proofs
Anupam Das, 23 Oct 2018, LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Barthe, G., Sutcliffe, G. & Veanes, M. (eds.). EasyChair Publications, p. 271-289 19 p. (EPiC Series in Computing; vol. 57).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all (15)