Iddo Tzameret (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Ran Raz, Iddo Tzameret: Resolution over linear equations and multilinear proofs. Ann. Pure Appl. Logic 155(3): 194-224 (2008)

7 Ran Raz, Iddo Tzameret: The Strength of Multilinear Proofs. Computational Complexity 17(3): 407-457 (2008)

4 Ran Raz, Iddo Tzameret: Resolution over Linear Equations and Multilinear Proofs CoRR abs/0708.1529: (2007)

3 Ran Raz, Iddo Tzameret: Resolution over Linear Equations and Multilinear Proofs. Electronic Colloquium on Computational Complexity (ECCC) 14(078): (2007)

2 Ran Raz, Iddo Tzameret: The Strength of Multilinear Proofs Electronic Colloquium on Computational Complexity (ECCC)(001): (2006)

Selection of 5 from 8 records - Iddo Tzameret has 2 coauthors

8		Ran Raz, Iddo Tzameret: Resolution over linear equations and multilinear proofs. Ann. Pure Appl. Logic 155(3): 194-224 (2008)
7		Ran Raz, Iddo Tzameret: The Strength of Multilinear Proofs. Computational Complexity 17(3): 407-457 (2008)
4		Ran Raz, Iddo Tzameret: Resolution over Linear Equations and Multilinear Proofs CoRR abs/0708.1529: (2007)
3		Ran Raz, Iddo Tzameret: Resolution over Linear Equations and Multilinear Proofs. Electronic Colloquium on Computational Complexity (ECCC) 14(078): (2007)
2		Ran Raz, Iddo Tzameret: The Strength of Multilinear Proofs Electronic Colloquium on Computational Complexity (ECCC)(001): (2006)