Cover Image

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...

Full description

Bibliographic Details
Main Author: Doberkat, Ernst-Erich. (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series:Monographs in Theoretical Computer Science. An EATCS Series,
Subjects:
Computer science.
Artificial intelligence.
Algebra.
Distribution (Probability theory).
Mathematical statistics.
Computer Science.
Mathematical Logic and Formal Languages.
Probability Theory and Stochastic Processes.
Artificial Intelligence (incl. Robotics).
Category Theory, Homological Algebra.
Statistical Theory and Methods.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-02995-0

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-02995-0

Similar Items