Number of the records: 1
Algebraic proofs over noncommutative formulas
- 1.Tzameret, Iddo
Algebraic proofs over noncommutative formulas.
Information and Computation. Roč. 209, č. 10 (2011), s. 1269-1292. ISSN 0890-5401. E-ISSN 1090-2651
Impact factor: 0.560, year: 2011
http://www.sciencedirect.com/science/article/pii/S089054011100109X
http://hdl.handle.net/11104/0207646
Number of the records: 1