Author: Erich Gradel

Support

4 Ebooks by Erich Gradel

Erich Gradel & Wolfgang Thomas: Automata, Logics, and Infinite Games
A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific …
PDF
English
DRM
€76.26
Erich Gradel & Reinhard Kahle: Computer Science Logic
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7-11, 2009. The conference series started as a programme of …
PDF
English
DRM
€114.61
Erich Gradel & Phokion G. Kolaitis: Finite Model Theory and Its Applications
Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational …
PDF
English
DRM
€86.28