Počet záznamů: 1
Algebraic proofs over noncommutative formulas
- 1.
SYSNO 0374819 Název Algebraic 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 CEZ AV0Z10190503 - MU-W (2005-2011) Jazyk dok. eng Země vyd. US Klíč.slova proof complexity * algebraic proof systems * frege proofs URL http://www.sciencedirect.com/science/article/pii/S089054011100109X Trvalý link http://hdl.handle.net/11104/0207646 Název souboru Staženo Velikost Komentář Verze Přístup Tzameret.pdf 1 355.8 KB Vydavatelský postprint vyžádat
Počet záznamů: 1