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
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
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
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:1717 p. 12. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 152).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution