| |
| 2008 | ||
|---|---|---|
| 8 | EE | Ran Raz, Iddo Tzameret: Resolution over linear equations and multilinear proofs. Ann. Pure Appl. Logic 155(3): 194-224 (2008) |
| 7 | EE | Ran Raz, Iddo Tzameret: The Strength of Multilinear Proofs. Computational Complexity 17(3): 407-457 (2008) |
| 2007 | ||
| 6 | EE | Nachum Dershowitz, Iddo Tzameret: Complexity of Propositional Proofs Under a Promise. ICALP 2007: 291-302 |
| 5 | EE | Nachum Dershowitz, Iddo Tzameret: Complexity of Propositional Proofs under a Promise CoRR abs/0707.4255: (2007) |
| 4 | EE | Ran Raz, Iddo Tzameret: Resolution over Linear Equations and Multilinear Proofs CoRR abs/0708.1529: (2007) |
| 3 | EE | Ran Raz, Iddo Tzameret: Resolution over Linear Equations and Multilinear Proofs. Electronic Colloquium on Computational Complexity (ECCC) 14(078): (2007) |
| 2006 | ||
| 2 | EE | Ran Raz, Iddo Tzameret: The Strength of Multilinear Proofs Electronic Colloquium on Computational Complexity (ECCC)(001): (2006) |
| 2003 | ||
| 1 | EE | 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] |