Proof complexity and textual cohesion

DOI10.1007/S10849-014-9212-1zbMath1375.03030OpenAlexW1968378062MaRDI QIDQ302177

Eli Dresner

Publication date: 4 July 2016

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-014-9212-1

zbMATH Keywords

proof complexitycohesiontexturetext complexity

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Complexity of proofs (03F20)

Cites Work

• Proof theory. An introduction
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proof complexity and textual cohesion