Login / Signup

Polynomial-time computation via local inference relations.

Robert GivanDavid A. McAllester
Published in: ACM Trans. Comput. Log. (2002)
Keyphrases