Zum Inhalt springen

  1. 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

  3. Abu Zaid, Faried [VerfasserIn] ; ARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science [MitwirkendeR]; 38 (Ahmedabad) : 2018.12.11-13 [MitwirkendeR]

    Uniformly automatic classes of finite structures

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Digital Library Thüringen, 2018-12

  5. Abu Zaid, Faried [VerfasserIn]; Köcher, Chris [VerfasserIn] ; ARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science [MitwirkendeR]; 38 (Ahmedabad) : 2018.12.11-13 [MitwirkendeR]

    The Cayley-graph of the queue monoid: logic and decidability

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Digital Library Thüringen, 2018-12

  8. Abu Zaid, Faried [VerfasserIn]; Grädel, Erich [VerfasserIn]; Kaiser, Lukasz [VerfasserIn] ; Faried Abu Zaid and Erich Grädel and Lukasz Kaiser [MitwirkendeR]

    The Field of Reals is not omega-Automatic

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012

  10. Abu Zaid, Faried [VerfasserIn]; Grädel, Erich [VerfasserIn]; Reinhardt, Frédéric [VerfasserIn]

    Advice Automatic Structures and Uniformly Automatic Classes

    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, 2017

  11. Abu Zaid, Faried [VerfasserIn]; Grädel, Erich [VerfasserIn]; Reinhardt, Frederic [VerfasserIn]

    Advice automatic structures and uniformly automatic classes

    Aufsätze
    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.

    August 2017

    Erschienen in: Computer Science Logic (26 : 2017 : Stockholm): Computer Science Logic 2017 ; 2017