111 citations · 169 across the 6 of their papers we have counts for
1 paper · 2 filters
Helle Hvid Hansen, Clemens Kupke, Jan Rutten
Streams, or infinite sequences, are infinite objects of a very simple type, yet they have a rich theory partly due to their ubiquity in mathematics and computer science. Stream dif…