Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.

Book Section

Beyersdorff, O and Kutz, O (2012) Proof complexity of non-classical logics. In: Bezhanishvili, N and Goranko, V, (eds.) Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes. Lecture Notes in Computer Science, 7388 . Springer Verlag , 1 - 54 . ISBN 978-3-642-31484-1

This list was generated on Sun Oct 13 13:21:24 2019 BST.