Loop Schemata

Robert L. Constable. Loop Schemata. In Conference Record of Third Annual ACM Symposium on Theory of Computing, 1971, Shaker Heights, Ohio, USA. pages 24-39, ACM, 1971.

Abstract

Abstract is missing.