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
Jump to: Book Sections
Number of items: 3.

Book Sections

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-Verlag, 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-Verlag, pp. 134-148. (Lecture Notes in Computer Science)

This list was generated on Mon Sep 1 22:07:27 2014 IST.