Iddo Tzameret

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
5EENachum Dershowitz, Iddo Tzameret: Complexity of Propositional Proofs Under a Promise. ICALP 2007: 291-302
4EENachum Dershowitz, Iddo Tzameret: Complexity of Propositional Proofs under a Promise CoRR abs/0707.4255: (2007)
3EERan Raz, Iddo Tzameret: Resolution over Linear Equations and Multilinear Proofs CoRR abs/0708.1529: (2007)
2006
2EERan Raz, Iddo Tzameret: The Strength of Multilinear Proofs Electronic Colloquium on Computational Complexity (ECCC)(001): (2006)
2003
1EENachum Dershowitz, Iddo Tzameret: Gap Embedding for Well-Quasi-Orderings. Electr. Notes Theor. Comput. Sci. 84: (2003)

Coauthor Index

1Nachum Dershowitz [1] [4] [5]
2Ran Raz [2] [3]

Colors in the list of coauthors

Copyright © Wed Jul 23 13:04:14 2008 by Michael Ley (ley@uni-trier.de)