Počet záznamů: 1  

Proof Complexity of the Cut-free Calculus of Structures

  1. 1.
    Jeřábek, Emil
    Proof Complexity of the Cut-free Calculus of Structures.
    Journal of Logic and Computation. Roč. 19, č. 2 (2009), s. 323-339. ISSN 0955-792X. E-ISSN 1465-363X
    Impakt faktor: 0.789, rok: 2009
    http://hdl.handle.net/11104/0171376
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.