Auteur: Erich Gradel

Support

4 Ebooks par 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 foundat …
PDF
Anglais
DRM
€76.78
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 I …
PDF
Anglais
DRM
€114.67
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 complexi …
PDF
Anglais
DRM
€86.67