Productivity of Stream Definitions (2007)

by J Endrullis, C Grabmayer, D Hendriks, A Isihara, J W Klop
Venue:In Proceedings of FCT 2007, number 4639 in LNCS