C Kupke | TU Delft Repository

CK

C Kupke

Conference paper (3)

Report (1)

4 records found

1

Weak completeness of coalgebraic dynamic logics

Conference paper (2015) - C Kupke (author), H.H. Hansen (author)

Strong completeness for iteration-free coalgebraic dynamic logics

Conference paper (2014) - H. Hansen (author), C Kupke (author), R Andres Leal (author)

A final coalgebra for k-regular sequences

Conference paper (2014) - H. Hansen (author), C Kupke (author), JJMM Rutten (author), J Winter (author)

Stream differential equations: Specification formats and solution methods

Report (2014) - H.H. Hansen (author), C Kupke (author), JJMM Rutten (author)