**Algebraic Proofs over Noncommutative Formulas.** / Tzameret, Iddo.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Published

**Algebraic Proofs over Noncommutative Formulas.** / Tzameret, Iddo.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Tzameret, I 2010, Algebraic Proofs over Noncommutative Formulas. in *7th Annual Conference on Theory and Applications of Models of Computation.* vol. 6108, Lecture Notes in Computer Science (LNCS), Berlin, pp. 60.

Tzameret, I. (2010). Algebraic Proofs over Noncommutative Formulas. In *7th Annual Conference on Theory and Applications of Models of Computation *(Vol. 6108, pp. 60). (Lecture Notes in Computer Science (LNCS))..

Tzameret I. Algebraic Proofs over Noncommutative Formulas. In 7th Annual Conference on Theory and Applications of Models of Computation. Vol. 6108. Berlin. 2010. p. 60. (Lecture Notes in Computer Science (LNCS)).

@inproceedings{6ce1d293844340688c81a4727bdf44ad,

title = "Algebraic Proofs over Noncommutative Formulas",

author = "Iddo Tzameret",

year = "2010",

language = "English",

volume = "6108",

series = "Lecture Notes in Computer Science (LNCS)",

pages = "60",

booktitle = "7th Annual Conference on Theory and Applications of Models of Computation",

}

TY - GEN

T1 - Algebraic Proofs over Noncommutative Formulas

AU - Tzameret, Iddo

PY - 2010

Y1 - 2010

M3 - Conference contribution

VL - 6108

T3 - Lecture Notes in Computer Science (LNCS)

SP - 60

BT - 7th Annual Conference on Theory and Applications of Models of Computation

CY - Berlin

ER -