Košík

0323402 - MÚ 2009 RIV GB eng J - Článek v odborném periodiku
Jeřábek, Emil
Proof Complexity of the Cut-free Calculus of Structures.
[Důkazová složitost bezřezového kalkulu struktur.]
Journal of Logic and Computation. Roč. 19, č. 2 (2009), s. 323-339. ISSN 0955-792X. E-ISSN 1465-363X
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: proof complexity * calculus of structures * monotone sequent calculus
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.789, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0171376