Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
HH
H. Hansen
Academic Work (5)
Book chapter (1)
Conference paper (4)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
5 records found
1
A final coalgebra for k-regular sequences
Conference paper (2014) -
H. Hansen (author)
,
C Kupke (author)
,
JJMM Rutten (author)
,
J Winter (author)
(Co)algebraic characterizations of signal flow graphs
Conference paper (2014) -
H Basold (author)
,
MM Bonsangue (author)
,
H. Hansen (author)
,
JJMM Rutten (author)
A note on typed behavioural differential equations
Conference paper (2014) -
H Basold (author)
,
H. Hansen (author)
,
JJMM Rutten (author)
Strong completeness for iteration-free coalgebraic dynamic logics
Conference paper (2014) -
H. Hansen (author)
,
C Kupke (author)
,
R Andres Leal (author)
Problem Based Learning
Book chapter (2008) -
A Kolmos (author)
,
E. de Graaff (author)
,
S. Kuru (author)
,
H. Hansen (author)
,
T. Eskil (author)
