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.

The Tecton Proof System

Deepak Kapur, David R. Musser, Xumin Nie. The Tecton Proof System. In Vangalur S. Alagar, Laks V. S. Lakshmanan, Fereidoon Sadri, editors, Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992. Workshops in Computing, pages 54-79, Springer, 1992.

Abstract

Abstract is missing.

runs on