Iddo Tzameret (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

1 Nachum Dershowitz, Iddo Tzameret: Gap Embedding for Well-Quasi-Orderings. Electr. Notes Theor. Comput. Sci. 84: (2003)

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

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)
1		Nachum Dershowitz, Iddo Tzameret: Gap Embedding for Well-Quasi-Orderings. Electr. Notes Theor. Comput. Sci. 84: (2003)