Circular Coinductive Rewriting (2000)
Cached
Download Links
- [www-cse.ucsd.edu]
- [www-cse.ucsd.edu]
- [www.cs.ucsd.edu]
- [www.cse.ucsd.edu]
- [gureni.cs.uiuc.edu]
- DBLP
Other Repositories/Bibliography
by
Joseph Goguen
,
Kai Lin
,
Grigore Rosu
| Venue: | In Proceedings of Automated Software Engineering 2000 |
| Citations: | 42 - 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 |
