Non-classical Aspects in Proof Complexity

Beyersdorff, O (2012) Non-classical Aspects in Proof Complexity. Cuvillier Verlag , Göttingen . ISBN 9783954040360

Abstract

Metadata

Authors/Creators:
  • Beyersdorff, O
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering (Leeds) > School of Computing (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 13 Jun 2012 13:07
Last Modified: 04 Nov 2016 01:09
Published Version: http://www.cuvillier.de/flycms/en/html/30/-UickI3z...
Status: Published
Publisher: Cuvillier Verlag

Share / Export

Statistics