An Algorithm Deciding Functional Equivalence in a New Class of Program Schemes

Viktor K. Sabelfeld. An Algorithm Deciding Functional Equivalence in a New Class of Program Schemes. Theoretical Computer Science, 71(2):265-279, 1990.

Abstract

Abstract is missing.