7 citations · 15 across the 11 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009
Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting
Joerg Endrullis, Clemens Grabmayer, Dimitri Hendriks +1
The theory of finite and infinitary term rewriting is extensively developed for orthogonal rewrite systems, but to a lesser degree for weakly orthogonal rewrite systems. In this no…
cs.DM2009★ 1 cited
Let's Make a Difference!
Joerg Endrullis, Dimitri Hendriks, Jan Willem Klop
We study the behaviour of iterations of the difference operator delta on streams over {0,1}. In particular, we show that a stream sigma is eventually periodic if and only if the se…