111 citations · 169 across the 6 of their papers we have counts for
1 paper · 1 filter
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…