2 records found
1
Weak completeness of coalgebraic dynamic logics
Stream differential equations: Specification formats and solution methods
