Research

Items by Das, Anupam

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 4.

Conference or Workshop Items

Das, A., 2014. On the pigeonhole and related principles in deep inference and monotone systems. In: Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, 2014-07-14 - 2014-07-18, Vienna. ACM.

Das, A., 2013. Rewriting with linear inferences in propositional logic. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 158-173. (Leibniz International Proceedings in Informatics, LIPIcs)

Das, A., 2012. Complexity of deep inference via atomic flows. In: Cooper, S. B., Dawar, A. and Lowe, B., eds. Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, 2012-06-17 - 2012-06-22, Cambridge. Heidelberg, Germany: Springer, pp. 139-150. (Lecture Notes in Computer Science; 7318)

Das, A., 2011. On the proof complexity of cut-free bounded deep inference. In: 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, July 4, 2011 - July 8, 2011, 2011-01-01, Bern. Heidelberg: Springer, pp. 134-148. (Lecture Notes in Computer Science)

This list was generated on Fri Feb 12 05:42:45 2016 GMT.