External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

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.

Using Linear Arithmetic Procedure for Generating Induction Schemes

Deepak Kapur, Mahadevan Subramaniam. Using Linear Arithmetic Procedure for Generating Induction Schemes. In P. S. Thiagarajan, editor, Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings. Volume 880 of Lecture Notes in Computer Science, pages 438-449, Springer, 1994.

Abstract

Abstract is missing.

runs on