A Structural Co-Induction Theorem (1993)

Cached

Download Links

by J. J. M. M. Rutten
Venue:PROC. MFPS '93, SPRINGER LNCS 802
Citations:7 - 1 self