92 citations · 192 across the 19 of their papers we have counts for
1 paper · 2 filters
Clemens Grabmayer, Joerg Endrullis, Dimitri Hendriks +2
We consider infinite sequences of symbols, also known as streams, and the decidability question for equality of streams defined in a restricted format. This restricted format consi…