Number of the records: 1
Algebraic proofs over noncommutative formulas
- 1.TZAMERET, I. Algebraic proofs over noncommutative formulas. Information and Computation. 2011, 209(10), 1269-1292. ISSN 0890-5401. E-ISSN 1090-2651. Available: doi: 10.1016/j.ic.2011.07.004.
Number of the records: 1