Program Equivalence and Canonical Forms in Stable Discrete Interpretations

GĂ©rard Berry, Bruno Courcelle. Program Equivalence and Canonical Forms in Stable Discrete Interpretations. In ICALP. pages 168-188, 1976.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.