6 citations · 6 across the 1 of their papers we have counts for
1 paper
Joerg Endrullis, Clemens Grabmayer, Dimitri Hendriks
We are concerned with demonstrating productivity of specifications of infinite streams of data, based on orthogonal rewrite rules. In general, this property is undecidable, but for…