Showing 1 - 4 results of 4 for search 'Helle Hvid Hansen', query time: 0.02s
Refine Results
-
1
Stream Differential Equations: Specification Formats and Solution Methods by Helle Hvid Hansen, Clemens Kupke, Jan Rutten
Published 2017-02-01
Article -
2
Neighbourhood Structures: Bisimilarity and Basic Model Theory by Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
Published 2009-04-01
Article -
3
Presenting Distributive Laws by Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot
Published 2015-08-01
Article -
4