On the Non-Compactness of the Class of Program Schemas

Nissim Francez, Giora Slutzki. On the Non-Compactness of the Class of Program Schemas. Inf. Process. Lett., 2(5):141-142, 1973.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.