Počet záznamů: 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. Dostupné z: doi: 10.1016/j.ic.2011.07.004.
Počet záznamů: 1