Login / Signup

Induction in Algebra: A First Case Study.

Peter Schuster
Published in: LICS (2012)
Keyphrases