Cited By
View all- Krajíček J(2019)Proof Complexity10.1017/9781108242066Online publication date: 25-Mar-2019
- Beyersdorff OChew LSreenivasaiah K(2017)A game characterisation of tree-like Q-Resolution sizeJournal of Computer and System Sciences10.1016/j.jcss.2016.11.011Online publication date: Jan-2017
- Atserias AMüller M(2015)Partially definable forcing and bounded arithmeticArchive for Mathematical Logic10.1007/s00153-014-0398-354:1-2(1-33)Online publication date: 1-Feb-2015
- Show More Cited By