erich grädel
Finite Model Theory and Its Applications
Sofort lieferbarThis book gives a broad overview of core topics of finite model theory: expressive power, descrip...
Lectures in Game Theory for Computer Scientists
Sofort lieferbarGames provide mathematical models for interaction. Numerous tasks in computer science can be form...
Finite-Model Theorie and Its Application
Print on DemandThis book gives a broad overview of core topics of finite model theory: expressive power, descrip...
Automata, Logics and Infinite Games
Print on DemandRezensionFrom the reviews:'This book aims to be a 'Guide to Current Research.'. it is a c...
Finite Model Theory and Its Applications
Print on DemandThis book gives a broad overview of core topics of finite model theory: expressive power, descrip...
Computer Science Logic
Print on DemandThe annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, w...
The Classical Decision Problem
Besorgungstitel - wird vorgemerktThis book is addressed to all those - logicians, computer scientists, mathe maticians, philosoph...
- 1