scientific article
From MaRDI portal
Publication:3773878
zbMath0635.03054MaRDI QIDQ3773878
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Short proofs of the Kneser-Lovász coloring principle, On the number of steps in proofs, On the structure of initial segments of models of arithmetic, Towards NP-P via proof complexity and search, Propositional consistency proofs, INCOMPLETENESS IN THE FINITE DOMAIN, Interpolants, cut elimination and flow graphs for the propositional calculus
