dblp.uni-trier.dewww.uni-trier.de

Iddo Tzameret Vis

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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)