Loading…

Satisfiability and Model Checking in Team Based Logics.

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Müller, Julian-Steffen
Format: Electronic eBook
Language:Inglés
Published: Göttingen : Cuvillier Verlag, 2014.
Subjects:
Online Access:Texto completo
Table of Contents:
  • Danksagung; Acknowledgements; Zusammenfassung; Abstract; Contents; CHAPTER 1 Introduction; CHAPTER 2 Preliminaries; CHAPTER 3 Dependence Logic; CHAPTER 4 Modal Team Logic; CHAPTER 5 Modal Independence Logic; CHAPTER 6 Temporal Logic; CHAPTER 7 Concluding Remarks; Bibliography; List of Figures; List of Tables; Index; Lebenslauf.