Počet záznamů: 1  

Algebraic proofs over noncommutative formulas

  1. 1.
    SYSNO0374819
    NázevAlgebraic proofs over noncommutative formulas
    Tvůrce(i) Tzameret, Iddo (MU-W) SAI
    Zdroj.dok. Information and Computation. Roč. 209, č. 10 (2011), s. 1269-1292. - : Elsevier
    Druh dok.Článek v odborném periodiku
    Grant LC505 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
    CEZAV0Z10190503 - MU-W (2005-2011)
    Jazyk dok.eng
    Země vyd.US
    Klíč.slova proof complexity * algebraic proof systems * frege proofs
    URLhttp://www.sciencedirect.com/science/article/pii/S089054011100109X
    Trvalý linkhttp://hdl.handle.net/11104/0207646
    Název souboruStaženoVelikostKomentářVerzePřístup
    Tzameret.pdf1355.8 KBVydavatelský postprintvyžádat
     
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.