Zum Inhalt springen

  2. Grädel, Erich [HerausgeberIn]; Kahle, Reinhard [Sonstige Person, Familie und Körperschaft] ; European Association for Computer Science Logic, CSL 23 2009 Coimbra

    Computer science logic : 23rd international workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5771

  3. Apt, Krzysztof R. [HerausgeberIn]; Grädel, Erich [HerausgeberIn]

    Lectures in game theory for computer scientists

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge [u.a.]: Cambridge University Press, 2011

  4. Börger, Egon [VerfasserIn] ; Grädel, Erich [Sonstige Person, Familie und Körperschaft]; Gurevič, Jurij [Sonstige Person, Familie und Körperschaft]; Gurevich, Yuri [Sonstige Person, Familie und Körperschaft]

    The classical decision problem

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Perspectives in mathematical logic

  5. Grädel, Erich [HerausgeberIn]; Thomas, Wolfgang [Sonstige Person, Familie und Körperschaft]; Wilke, Thomas [Sonstige Person, Familie und Körperschaft]; Thomas, Wolfgang [HerausgeberIn]; Wilke, Thomas [HerausgeberIn]

    Automata, logics, and infinite games : a guide to current research

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2002

    Erschienen in: Lecture notes in computer science ; 2500

  6. Börger, Egon [VerfasserIn]; Grädel, Erich [VerfasserIn]; Gurevič, Jurij [VerfasserIn] ; Gurevich, Yuri [Sonstige Person, Familie und Körperschaft]

    The classical decision problem - [2. printing of the 1. ed.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 2001

    Erschienen in: Universitext

  7. Pago, Benedikt [VerfasserIn] ; Grädel, Erich [AkademischeR BetreuerIn]; Dawar, Anuj [AkademischeR BetreuerIn]

    Limitations of choiceless computation

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2023

    Erschienen in: Aachen : RWTH Aachen University, 2023

  10. Hoelzel, Matthias [VerfasserIn] ; Grädel, Erich [AkademischeR BetreuerIn]; Hella, Lauri [AkademischeR BetreuerIn]

    Fragments of existential second-order logic and logics with team semantics

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2019

  11. Abu Zaid, Faried [VerfasserIn] ; Grädel, Erich [AkademischeR BetreuerIn]; Kuske, Dietrich [AkademischeR BetreuerIn]

    Algorithmic Solutions via Model Theoretic Interpretations

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2016

  13. Grädel, Erich [VerfasserIn] ; Kahle, Reinhard [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5771

  14. Grädel, Erich [VerfasserIn] ; Thomas, Wolfgang [Sonstige Person, Familie und Körperschaft]; Wilke, Thomas [Sonstige Person, Familie und Körperschaft]

    Automata Logics, and Infinite Games : A Guide to Current Research

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2500

  15. Pago, Benedikt [VerfasserIn] ; Grädel, Erich [AkademischeR BetreuerIn]; Dawar, Anuj [AkademischeR BetreuerIn]

    Limitations of choiceless computation

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2023

    Erschienen in: Aachen ; RWTH Aachen University, 2023

  16. Landwehr, Patrick [VerfasserIn] ; Löding, Christof [AkademischeR BetreuerIn]; Grädel, Erich [AkademischeR BetreuerIn]

    Tree automata with constraints on infinite trees

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2021

  18. Flum, Jörg [VerfasserIn] ; Wilke, Thomas [HerausgeberIn]; Grädel, Erich [HerausgeberIn]

    Logic and Automata : History and Perspectives

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: Amsterdam University Press, 2007