Stochastic coalgebraic logic

Bibliographic Details
Main Author: Doberkat, Ernst-Erich (Author)
Format: Book
Language:English
Published: Berlin, Germany : Springer , c2010
Series:Monographs in theoretical computer science an eatcs series
Subjects:

MARC

LEADER 00000cam a2200000 7i4500
001 0000066873
005 20161031093000.0
008 100715s2010 gw eng
020 |a 3642029949 (hardcover : alk. paper) 
020 |a 9783642029943 (hardcover : alk. paper) 
020 |a 9783642029950 (ebook) 
022 1 |a 14312654 (ISSN) 
090 0 0 |a QA10   |b .D63 2010 
100 1 |a Doberkat, Ernst-Erich ,   |e author 
245 1 0 |a Stochastic coalgebraic logic   |c Ernst-Erich Doberkat 
260 |a Berlin, Germany :   |b Springer ,   |c c2010 
300 |a xv, 231 p. :   |b ill. ;   |c 24 cm. 
440 0 |a Monographs in theoretical computer science an eatcs series 
504 |a Includes bibliographical references (p. 219-223) and indexes 
505 0 |a 1. Borel sets, measures and all that -- 2. Modal logics -- 3. The giry monad: randomized morphisms -- 4. Coalgebraic logic -- 5. The grammars 
650 0 |a Algebra, Universal 
650 0 |a Algebraic logic 
650 0 |a Modality (Logic) 
650 0 |a Stochastic processes 
999 |a 1000131712   |b Book   |c OPEN SHELF (30 DAYS)   |e Tembila Campus