Research

Items by Gundersen, Tom

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: 1.

Book Sections

Bruscoli, P., Guglielmi, A., Gundersen, T. and Parigot, M., 2010. A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae. In: Clarke, E. M. and Voronkov, A., eds. Logic for programming, artificial intelligence, and reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, revised selected papers. Berlin: Springer, pp. 136-153. (Lecture Notes in Computer Science; 6355)

This list was generated on Sun Aug 2 19:18:58 2015 IST.