Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Raymond Aubin. Strategies for Mechanizing Structural Induction. In IJCAI. pages 363-369, 1977.
Possibly Related PublicationsThe following publications are possibly variants of this publication: Mechanizing Structural Induction Part II: StrategiesRaymond Aubin. TCS, 9:347-362, 1979. Mechanizing structural inductionRaymond Aubin. PhD thesis, University of Edinburgh, UK, 1976. [doi] Mechanizing Structural Induction Part I: Formal SystemRaymond Aubin. TCS, 9:329-345, 1979.
The following publications are possibly variants of this publication: