Login / Signup

Constructor-Based Inductive Theorem Prover.

Daniel GâinâMin ZhangYuki ChibaYasuhito Arimoto
Published in: CALCO (2013)
Keyphrases