57 citations · 208 across the 27 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 1 cited
Games for Topological Fixpoint Logic
Nick Bezhanishvili, Clemens Kupke
Topological fixpoint logics are a family of logics that admits topological models and where the fixpoint operators are defined with respect to the topological interpretations. Here…
cs.LO2016★ 13 cited
Stream Differential Equations: Specification Formats and Solution Methods
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…