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.
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.
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.
In this book, the author gives a unique logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author’s coherent logical approach covers theory, practice, and applications.
This book covers all the main aspects of weighted automata and formal power series methods, ranging from theory to applications. The contributors are the leading experts in their respective areas. Chapters offer pointers to future research.
This book explores a framework for carrying out rigorous comparisons of grammar formalisms in terms of their usefulness for applications. It focuses on three areas: statistical parsing, natural language translation and biological sequence analysis.
This comprehensive book covers the fundamental concepts of formal languages and compilation. It presents the subject in a minimalist way, using illustrated examples throughout and providing pedagogical tools, such as slides for lecturers via website.