Login / Signup

Decision problems in computational models.

Michael S. Paterson
Published in: Proving Assertions About Programs (1972)
Keyphrases