Bokus

Erich Grädel – författare

Visar alla böcker från författaren Erich Grädel. Handla med fri frakt och snabb leverans.

5 produkter

  1. Erich Grädel, Wolfgang Thomas, Thomas Wilke - Automata, Logics, and Infinite Games, Häftad. Tillgänglighet: Lägg i varukorg

    Automata, Logics, and Infinite Games

    A Guide to Current Research

    Av Erich Grädel, Wolfgang Thomas m. fl.

    Häftad, 2002

    791 kr

    Lägg i varukorg

    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 foundation is needed especially for the construction of reactive programs, like communication protocols or …

  2. Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein - Finite Model Theory and Its Applications, Inbunden. Tillgänglighet: Lägg i varukorg

    Finite Model Theory and Its Applications

    Av Erich Grädel, Phokion G. Kolaitis m. fl.

    Inbunden, 2007

    1015 kr

    Lägg i varukorg

    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 complexity and database theory. One of the fundamental insights of mathematical logic is that our …

  3. Egon Börger, Erich Grädel, Yuri Gurevich - Classical Decision Problem, Häftad. Tillgänglighet: Lägg i varukorg

    Classical Decision Problem

    Av Egon Börger, Erich Grädel m. fl.

    Häftad, 2001

    1964 kr

    Lägg i varukorg

    This book is addressed to all those - logicians, computer scientists, mathe­ maticians, philosophers of science as well as the students in all these disci­ plines - who may be interested in the development and current status of one of the major themes of mathematical logic in the twentieth century, …

  4. Erich Grädel, Reinhard Kahle - Computer Science Logic, Häftad. Tillgänglighet: Lägg i varukorg

    Computer Science Logic

    23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

    Av Erich Grädel, Reinhard Kahle

    Häftad, 2009

    1094 kr

    Lägg i varukorg

    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 International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- …

  5. Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein - Finite Model Theory and Its Applications, Häftad. Tillgänglighet: Lägg i varukorg

    Finite Model Theory and Its Applications

    Av Erich Grädel, Phokion G. Kolaitis m. fl.

    Häftad, 2014

    849 kr

    Lägg i varukorg

    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 complexity and database theory. One of the fundamental insights of mathematical logic is that our …