Počet záznamů: 1

Proof Complexity of the Cut-free Calculus of Structures

SYSNO	0323402
Název	Proof Complexity of the Cut-free Calculus of Structures
Překlad názvu	Důkazová složitost bezřezového kalkulu struktur
Tvůrce(i)	Jeřábek, Emil (MU-W)_{RID, SAI, ORCID}
Zdroj.dok.	Journal of Logic and Computation. Roč. 19, č. 2 (2009), s. 323-339
Druh dok.	Článek v odborném periodiku
CEZ	AV0Z10190503 - MU-W (2005-2011)
Jazyk dok.	eng
Země vyd.	GB
Klíč.slova	proof complexity * calculus of structures * monotone sequent calculus
Trvalý link	http://hdl.handle.net/11104/0171376

Počet záznamů: 1