Login / Signup

Mechanizing Structural Induction Part II: Strategies.

Raymond Aubin
Published in: Theor. Comput. Sci. (1979)
Keyphrases