Zum Inhalt springen

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

  3. Kufleitner, Manfred [VerfasserIn]; Lauser, Alexander [VerfasserIn]

    Partially ordered two-way Büchi automata

    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.

    Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2010 ; Online-Ausg.: Stuttgart: Universitätsbibliothek der Universität Stuttgart

    Erschienen in: Technischer Bericht ; 2010,3

  6. Eisinger, Jochen [VerfasserIn]

    Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition ; Automata-based decision procedures for first-order logical theories with addition

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

    University of Freiburg: FreiDok, 2009

  8. Hausmann, Daniel [VerfasserIn] ; Schröder, Lutz [AkademischeR BetreuerIn]; Schröder, Lutz [Sonstige Person, Familie und Körperschaft]; Kurz, Alexander [Sonstige Person, Familie und Körperschaft]

    Satisfiability Checking for the Coalgebraic µ-Calculus

    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.

    Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2018

  10. Fritz, Carsten [VerfasserIn] ; Wilke, Thomas [MitwirkendeR]; de Roever, Willem-Paul [MitwirkendeR]; Vardi, Moshe Y. [MitwirkendeR]

    Simulation-based simplification of omega-automata

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

    MACAU: Open Access Repository of Kiel University, 2005

  11. Dörband, Frederic [VerfasserIn] ; Vogler, Heiko [Sonstige Person, Familie und Körperschaft]; Daviaud, Laure [Sonstige Person, Familie und Körperschaft]

    Characterisation Theorems for Weighted Tree Automaton Models

    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.

    Dresden: Technische Universität Dresden, 2022

  12. Hutagalung, Milka [VerfasserIn] ; Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik [MitwirkendeR]; Lange, Martin [MitwirkendeR]; Kučera, Antonín [MitwirkendeR]

    Buffered Simulation for Büchi Automata - [published Version]

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

    University of Kassel: KOBRA (Kasseler Online Bibliothek Repository und Archiv), 2019

  13. Puppis, Gabriele [VerfasserIn]

    Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems

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

    Erschienen in: Lecture notes in computer science ; 5955

  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