Reflection and strategies in rewriting logic

Manuel Clavel, José Meseguer. Reflection and strategies in rewriting logic. Electronic Notes in Theoretical Computer Science, 4:126-148, 1996. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.