Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study

Robert Paige, Fritz Henglein. Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study. Journal of Symbolic Computation, 4(2):207-232, 1987.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.