Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Helle Hvid
Last name:	Hansen
DBLP:	93/1197
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 6 of 6  

Select a publication
Show	Title	Venue	Rating	Date
	Helle Hvid Hansen, Clemens Kupke, Eric Pacuit. Neighbourhood Structures: Bisimilarity and Basic Model Theory	Logical Methods in Computer Science 2007, Volume 5	(0)	2009
	Helle Hvid Hansen. Coalgebraising Subsequential Transducers.	Electr. Notes Theor. Comput. Sci. 2008, Volume 203	(0)	2008
	Helle Hvid Hansen, Clemens Kupke, Eric Pacuit. Bisimulation for Neighbourhood Structures.	Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings 2007	(0)	2007
	Helle Hvid Hansen, David Costa, Jan J. M. M. Rutten. Synthesis of Mealy Machines Using Derivatives.	Electr. Notes Theor. Comput. Sci. 2006, Volume 164	(0)	2006
	Helle Hvid Hansen, Clemens Kupke. A Coalgebraic Perspective on Monotone Modal Logic.	Electr. Notes Theor. Comput. Sci. 2004, Volume 106	(0)	2004
	Helle Hvid Hansen, Marc Pauly. Axiomatising Nash-Consistent Coalition Logic.	Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings 2002	(0)	2002

Your query returned 6 matches in the database.