Apress

All Mathematical Logic and Formal Language Titles

Grid or a List

Set Descending Direction

Books 13-17 of 17

per page
Page:
  1. 1
  2. 2
  • Pattern Calculus

    Pattern Calculus Cover

    Barry Jay

    Pattern calculus is a new foundation for computation. This book introduces static and dynamic pattern calculus, supports a family of type systems for pattern calculi that build on novel typings of lamda-calculus, and details a new programming language, bondi.
  • Stochastic Coalgebraic Logic

    Stochastic Coalgebraic Logic Cover

    Ernst-Erich Doberkat

    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.

Grid or a List

Set Descending Direction

Books 13-17 of 17

per page
Page:
  1. 1
  2. 2