Autore: Erich Gradel

Supporto

4 Ebook di 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
Inglese
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
Inglese
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
Inglese
DRM
€86.67