Number of the records: 1

Proof Complexity of the Cut-free Calculus of Structures

SYSNO	0323402
Title	Proof Complexity of the Cut-free Calculus of Structures
Title	Důkazová složitost bezřezového kalkulu struktur
Author(s)	Jeřábek, Emil (MU-W)_{RID, SAI, ORCID}
Source Title	Journal of Logic and Computation. Roč. 19, č. 2 (2009), s. 323-339
Document Type	Článek v odborném periodiku
CEZ	AV0Z10190503 - MU-W (2005-2011)
Language	eng
Country	GB
Keywords	proof complexity * calculus of structures * monotone sequent calculus
Permanent Link	http://hdl.handle.net/11104/0171376

Number of the records: 1