|
Search the dblp DataBase
Helle Hvid Hansen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Helle Hvid Hansen, Marc Pauly
Axiomatising Nash-Consistent Coalition Logic. [Citation Graph (0, 0)][DBLP] JELIA, 2002, pp:394-406 [Conf]
- Helle Hvid Hansen, Clemens Kupke
A Coalgebraic Perspective on Monotone Modal Logic. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:121-143 [Journal]
- Helle Hvid Hansen, David Costa, Jan J. M. M. Rutten
Synthesis of Mealy Machines Using Derivatives. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:164, n:1, pp:27-45 [Journal]
- Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
Bisimulation for Neighbourhood Structures. [Citation Graph (0, 0)][DBLP] CALCO, 2007, pp:279-293 [Conf]
Neighbourhood Structures: Bisimilarity and Basic Model Theory [Citation Graph (, )][DBLP]
Coalgebraising Subsequential Transducers. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|