Behavioral and coinductive rewriting

Joseph Goguen, Kai Lin, Grigore Roşu

Research output: Contribution to journalConference articlepeer-review

Fingerprint

Dive into the research topics of 'Behavioral and coinductive rewriting'. Together they form a unique fingerprint.

Mathematics