Number of the records: 1
Algebraic proofs over noncommutative formulas
- 1.0374819 - MÚ 2012 RIV US eng J - Journal Article
Tzameret, Iddo
Algebraic proofs over noncommutative formulas.
Information and Computation. Roč. 209, č. 10 (2011), s. 1269-1292. ISSN 0890-5401. E-ISSN 1090-2651
R&D Projects: GA MŠMT LC505
Institutional research plan: CEZ:AV0Z10190503
Keywords : proof complexity * algebraic proof systems * frege proofs
Subject RIV: BA - General Mathematics
Impact factor: 0.560, year: 2011
http://www.sciencedirect.com/science/article/pii/S089054011100109X
Permanent Link: http://hdl.handle.net/11104/0207646File Download Size Commentary Version Access Tzameret.pdf 1 355.8 KB Publisher’s postprint require
Number of the records: 1