Login

Mogavero, Fabio

Logics in Computer Science

Mogavero, Fabio - Logics in Computer Science, ebook

114,40€

Ebook, PDF with Adobe DRM
ISBN: 9789491216954
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

Part I. Logics for Computations

1. Graded Computation Tree Logic
Fabio Mogavero

2. Minimal Model Quantifiers
Fabio Mogavero

Part II. Logics for Strategies

3. Reasoning About Strategies
Fabio Mogavero

4. Relentful Strategic Reasoning
Fabio Mogavero

Keywords: Computer Science, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity

Author(s)
Publisher
Springer
Publication year
2013
Language
en
Edition
2013
Series
Atlantis Studies in Computing
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9789491216954

Similar titles