Algebraic Proofs over Noncommutative Formulas. / Tzameret, Iddo.

7th Annual Conference on Theory and Applications of Models of Computation. Vol. 6108 Berlin, 2010. p. 60 (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Algebraic Proofs over Noncommutative Formulas. / Tzameret, Iddo.

7th Annual Conference on Theory and Applications of Models of Computation. Vol. 6108 Berlin, 2010. p. 60 (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

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.

APA

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))..

Vancouver

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)).

Author

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

BibTeX

@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",

}

RIS

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 -