Helle Hvid Hansen (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Helle Hvid Hansen, Clemens Kupke, Eric Pacuit: Neighbourhood Structures: Bisimilarity and Basic Model Theory Logical Methods in Computer Science 5(2): (2009)

4 Helle Hvid Hansen, Clemens Kupke, Eric Pacuit: Bisimulation for Neighbourhood Structures. CALCO 2007: 279-293

Selection of 2 from 6 records - Helle Hvid Hansen has 5 coauthors

6		Helle Hvid Hansen, Clemens Kupke, Eric Pacuit: Neighbourhood Structures: Bisimilarity and Basic Model Theory Logical Methods in Computer Science 5(2): (2009)
4		Helle Hvid Hansen, Clemens Kupke, Eric Pacuit: Bisimulation for Neighbourhood Structures. CALCO 2007: 279-293