Complexity of Propositional Proofs under a Promise. / Dershowitz, Nachum; Tzameret, Iddo.

2007. Paper presented at Proceedings of the 34th International Colloquium on Automata, Languages and Programming (ICALP) track A, Wraslaw, Poland.

Research output: Contribution to conferencePaperpeer-review

Published

Documents

Original languageEnglish
Number of pages30
Publication statusPublished - 2007
EventProceedings of the 34th International Colloquium on Automata, Languages and Programming (ICALP) track A - Wraslaw, Poland
Duration: 10 Jul 2007 → …

Conference

ConferenceProceedings of the 34th International Colloquium on Automata, Languages and Programming (ICALP) track A
CountryPoland
CityWraslaw
Period10/07/07 → …
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 25051223