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.

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

Das, A., 2013. Rewriting with linear inferences in propositional logic. In: van Raamsdonk, F., ed. 24th International Conference on Rewriting Techniques and Applications (RTA 2013).Vol. 21. 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. How the World Computes.Vol. 7318 LNCS. 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: Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Proceedings.Vol. 6793 LNAI. Heidelberg: Springer, pp. 134-148. (Lecture Notes in Computer Science)

This list was generated on Thu Jun 21 07:02:53 2018 IST.