Circular Coinductive Rewriting (2000)

by Joseph Goguen , Kai Lin , Grigore Rosu
Venue:In Proceedings of Automated Software Engineering 2000
Citations:46 - 11 self

Document Versions

Circular Coinductive Rewriting –Joseph Goguen, Kai Lin, Grigore Rosu — 2000 — In Proceedings of Automated Software Engineering 2000
Circular Coinductive Rewriting –Joseph Goguen, Kai Lin, Grigore Rosu — 2000 — In Proceedings of Automated Software Engineering 2000
Circular coinductive rewriting –Joseph Goguen, Kai Lin, Grigore Ros — 2000 — In Proceedings of Automated Software Engineering 2000