Mechanizing Structural Induction Part I: Formal System

Raymond Aubin. Mechanizing Structural Induction Part I: Formal System. Theoretical Computer Science, 9:329-345, 1979.

No reviews for this publication, yet.