Reflection and Strategies in Rewriting Logic Supported by Office of Naval Research Contracts N00014-95-C-0225 and N00014-96-C-0114, National Science Foundation Grant CCR-9224005, and by the Information Technology Promotion Agency, Japan, as a part of the Industrial Science and Technology Frontier Program "New Models for Software Architecture"

Manuel Clavel, José Mes eguer

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Reflection and Strategies in Rewriting Logic Supported by Office of Naval Research Contracts N00014-95-C-0225 and N00014-96-C-0114, National Science Foundation Grant CCR-9224005, and by the Information Technology Promotion Agency, Japan, as a part of the Industrial Science and Technology Frontier Program "New Models for Software Architecture"'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science