MPG.eBooks - Search Results - "prover"

Search alternatives:
"prover" » "proven", "proved", "proves"

Cover Image

1

STACS 2003 : 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Proceedings

Published 2003

Springer Berlin Heidelberg

Table of Contents: “...Competing Provers Yield Improved Karp-Lipton Collapse Results -- One Bit of Advice -- Strong...”