Show simple item record

dc.contributor.authorZhang, Liyu
dc.contributor.authorSelman, Alan L.
dc.contributor.authorGlasser, Christian
dc.date.accessioned2015-07-07T19:10:12Z
dc.date.available2015-07-07T19:10:12Z
dc.date.issued2004en_US
dc.identifier2004-17en_US
dc.identifier.urihttp://hdl.handle.net/10477/34520
dc.language.isoen_USen_US
dc.titleCanonical Disjoint NP-Pairs of Propositional Proof Systemsen_US


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record