| 2008 | ||
|---|---|---|
| 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) | |
| 2007 | ||
| 6 | Nachum Dershowitz, Iddo Tzameret: Complexity of Propositional Proofs Under a Promise. ICALP 2007: 291-302 | |
| 5 | Nachum Dershowitz, Iddo Tzameret: Complexity of Propositional Proofs under a Promise CoRR abs/0707.4255: (2007) | |
| 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) | |
| 2006 | ||
| 2 | Ran Raz, Iddo Tzameret: The Strength of Multilinear Proofs Electronic Colloquium on Computational Complexity (ECCC)(001): (2006) | |
| 2003 | ||
| 1 | Nachum Dershowitz, Iddo Tzameret: Gap Embedding for Well-Quasi-Orderings. Electr. Notes Theor. Comput. Sci. 84: (2003) | |
| 1 | Nachum Dershowitz | [1] [5] [6] |
| 2 | Ran Raz | [2] [3] [4] [7] [8] |