Proof complexity and textual cohesion
type: Item
instance of: scholarly article
title: Proof complexity and textual cohesion
zbMATH Open document ID: 1375.03030
author: Eli Dresner
published in: Journal of Logic, Language and Information
publication date: 2016-07-04T00:00:00Z
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 03F20
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 6600702
zbMATH Keywords: proof complexity
zbMATH Keywords: text complexity
zbMATH Keywords: cohesion
zbMATH Keywords: texture
MaRDI profile type: Publication
full work available at URL: s10849-014-9212-1
OpenAlex ID: W1968378062
cites work: Q4274311
cites work: Q4215637
cites work: Proof theory. An introduction
cites work: Q4499084
DOI: 10.1007/S10849-014-9212-1
description: scientific article; zbMATH DE number 6600702