External Links

Cite Key

Statistics

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

PDF

Tags

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.

Some Techniques for Proving Certain Simple Programs Optimal

John E. Hopcroft, L. R. Kerr. Some Techniques for Proving Certain Simple Programs Optimal. In Conference Record of 1969 Tenth Annual Symposium on Switching and Automata Theory, 15-17 October 1969, Waterloo, Ontario, Canada. pages 36-45, IEEE, 1969.

Abstract

Abstract is missing.

runs on