Cannonizing reducibility method in the theory of program schemata

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1976 ◽

10.1007/3-540-07854-1_177 ◽

1976 ◽

pp. 216-223

Author(s):

A. O. Buda

Download Full-text