Parameterized Proof Complexity - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefan S. Dantchev, Barnaby Martin, Stefan Szeider. Parameterized Proof Complexity. In 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007), October 20-23, 2007, Providence, RI, USA, Proceedings. pages 150-160, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Stefan S. Dantchev' in GoogleThis author has not been identified. Look up 'Barnaby Martin' in GoogleThis author has not been identified. Look up 'Stefan Szeider' in Google

runs on WebDSL