9 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.LO2012★ 1 cited
Productivity of Non-Orthogonal Term Rewrite Systems
Matthias Raffelsieper
Productivity is the property that finite prefixes of an infinite constructor term can be computed using a given term rewrite system. Hitherto, productivity has only been considered…
cs.LO2010★ 9 cited
Stream Productivity by Outermost Termination
Hans Zantema, Matthias Raffelsieper
Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. A core property is productivity: unfolding the equa…