Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
Transactions on Machine Learning and Artificial Intelligence
doi 10.14738/tmlai.71.6187
Full Text
Open PDFAbstract
Available in full text
Date
February 28, 2019
Authors
Publisher
Scholar Publishing