Monographs in Theoretical Computer Science - Stochastic Coalgebraic Logic
Latest Publications

TOTAL DOCUMENTS

4

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642029943, 9783642029950

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Coalgebraic Logic

Monographs in Theoretical Computer Science - Stochastic Coalgebraic Logic ◽

10.1007/978-3-642-02995-0_4 ◽

2009 ◽

pp. 157-214

Author(s):

Ernst-Erich Doberkat

Keyword(s):

Coalgebraic Logic

The Giry Monad: Randomized Morphisms

Monographs in Theoretical Computer Science - Stochastic Coalgebraic Logic ◽

10.1007/978-3-642-02995-0_3 ◽

2009 ◽

pp. 113-155

Author(s):

Ernst-Erich Doberkat

Keyword(s):

Giry Monad

Modal Logics

Monographs in Theoretical Computer Science - Stochastic Coalgebraic Logic ◽

10.1007/978-3-642-02995-0_2 ◽

2009 ◽

pp. 69-111

Author(s):

Ernst-Erich Doberkat

Keyword(s):

Modal Logics

Borel Sets, Measures and All That

Monographs in Theoretical Computer Science - Stochastic Coalgebraic Logic ◽

10.1007/978-3-642-02995-0_1 ◽

2009 ◽

pp. 1-68

Author(s):

Ernst-Erich Doberkat

Keyword(s):

Borel Sets