Relating Two Approaches to Coinductive Solution of Recursive Equations (2004)

Cached

Download Links

by Bart Jacobs
Venue:Milius (Eds.), Proceedings of the 7th Workshop on Coalgebraic Methods in Computer Science, CMCS’04 (Barcelona, March 2004), Electron. Notes in Theoret. Comput. Sci
Citations:3 - 2 self

Document Versions

Relating Two Approaches to Coinductive Solution of Recursive Equations –Bart Jacobs — 2004 — Milius (Eds.), Proceedings of the 7th Workshop on Coalgebraic Methods in Computer Science, CMCS’04 (Barcelona, March 2004), Electron. Notes in Theoret. Comput. Sci