Searching for "Relating Two Approaches to Coinductive Solution of Recursive Equations." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Relating Two Approaches to Coinductive Solution of Recursive Equations
by 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
…Relating two Approaches to Coinductive Solution of Recursive Equations Abstract Bart Jacobs…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB