Login / Signup

Inductive Decidability Using Implicit Induction.

Stephan FalkeDeepak Kapur
Published in: LPAR (2006)
Keyphrases