Vytisknout
0374819 - MÚ 2012 RIV US eng J - Článek v odborném periodiku
Tzameret, Iddo
Algebraic proofs over noncommutative formulas.
Information and Computation. Roč. 209, č. 10 (2011), s. 1269-1292. ISSN 0890-5401. E-ISSN 1090-2651
Grant CEP: GA MŠMT LC505
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: proof complexity * algebraic proof systems * frege proofs
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.560, rok: 2011
http://www.sciencedirect.com/science/article/pii/S089054011100109X
Trvalý link: http://hdl.handle.net/11104/0207646
Tzameret, Iddo
Algebraic proofs over noncommutative formulas.
Information and Computation. Roč. 209, č. 10 (2011), s. 1269-1292. ISSN 0890-5401. E-ISSN 1090-2651
Grant CEP: GA MŠMT LC505
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: proof complexity * algebraic proof systems * frege proofs
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.560, rok: 2011
http://www.sciencedirect.com/science/article/pii/S089054011100109X
Trvalý link: http://hdl.handle.net/11104/0207646