1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Erfan Khaniki
Our main results are in the following three sections: 1. We prove new relations between proof complexity conjectures that are discussed in \cite{pu18}. 2. We investigate the existe…