Skip to contents

  4. Börger, Egon [Author] ; Grädel, Erich [Other]; Gurevič, Jurij [Other]; Gurevich, Yuri [Other]

    The classical decision problem

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1997

    Published in: Perspectives in mathematical logic

  13. Grädel, Erich [Author] ; Kahle, Reinhard [Other]

    Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Published in: Lecture notes in computer science ; 5771

  15. Pago, Benedikt [Author] ; Grädel, Erich [Degree supervisor]; Dawar, Anuj [Degree supervisor]

    Limitations of choiceless computation

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2023

    Published in: Aachen ; RWTH Aachen University, 2023