Stochastic Coalgebraic Logic

Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stocha...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Doberkat, Ernst-Erich (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Monographs in Theoretical Computer Science. An EATCS Series,
Temas:
Machine theory.
Probabilities.
Artificial intelligence.
Algebra, Homological.
Statistics .
Formal Languages and Automata Theory.
Probability Theory.
Artificial Intelligence.
Category Theory, Homological Algebra.
Statistical Theory and Methods.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Borel Sets, Measures and All That
  • Modal Logics
  • The Giry Monad: Randomized Morphisms
  • Coalgebraic Logic.

Ejemplares similares