43 citations · 101 across the 13 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…