Stochastic Coalgebraic Logic Stochastic Coalgebraic Logic
    • ‏119٫99 US$

وصف الناشر

Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations and an analysis of Kripke models.

النوع
علم وطبيعة
تاريخ النشر
٢٠٠٩
٢٤ ديسمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٢٤٦
الناشر
Springer Berlin Heidelberg
البائع
Springer Nature B.V.
الحجم
٩٫٧
‫م.ب.‬
Relational and Algebraic Methods in Computer Science Relational and Algebraic Methods in Computer Science
٢٠١٨
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
٢٠١٦
Relational and Algebraic Methods in Computer Science Relational and Algebraic Methods in Computer Science
٢٠١٧
Mathematical Methods in Physics Mathematical Methods in Physics
٢٠١٥
Handbook of Spatial Logics Handbook of Spatial Logics
٢٠٠٧
Functional Analysis and the Feynman Operator Calculus Functional Analysis and the Feynman Operator Calculus
٢٠١٦
Fault-Tolerant Search Algorithms Fault-Tolerant Search Algorithms
٢٠١٣
Logics of Specification Languages Logics of Specification Languages
٢٠٠٧
Theoretical Aspects of Local Search Theoretical Aspects of Local Search
٢٠٠٧
Fundamentals of Algebraic Graph Transformation Fundamentals of Algebraic Graph Transformation
٢٠٠٦
Patterns in Permutations and Words Patterns in Permutations and Words
٢٠١١
Handbook of Weighted Automata Handbook of Weighted Automata
٢٠٠٩