Login / Signup

Methods for Proving Completeness via Logical Reductions.

Iain A. Stewart
Published in: Theor. Comput. Sci. (1993)
Keyphrases