Semantic Equivalence of Program Schemes and its Syntactic Characterization

Irène Guessarian. Semantic Equivalence of Program Schemes and its Syntactic Characterization. In ICALP. pages 189-200, 1976.

Abstract

Abstract is missing.