Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
JR
JJMM Rutten
Academic Work (5)
Conference paper (3)
Journal article (1)
Report (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
5 records found
1
Algebra-coalgebra duality in Brzozowski's minimization algorithm
Journal article (2014) -
MM Bonsangue (author)
,
H.H. Hansen (author)
,
F Bonchi (author)
,
P Panangaden (author)
,
JJMM Rutten (author)
,
A Silva (author)
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)
Stream differential equations: Specification formats and solution methods
Report (2014) -
H.H. Hansen (author)
,
C Kupke (author)
,
JJMM Rutten (author)
A note on typed behavioural differential equations
Conference paper (2014) -
H Basold (author)
,
H. Hansen (author)
,
JJMM Rutten (author)
