Suchergebnisse - Thomas, Wolfgang 1947-

Treffer filtern
  1. 1
    Buchumschlag

    Languages, automata, and logic
    von Thomas, Wolfgang 1947-

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Safety- and liveness-properties in propositional temporal logic: characterizations and decidability
    von Thomas, Wolfgang 1947-

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Einführung in die mathematische Logik
    von Ebbinghaus, Heinz-Dieter 1939-, Flum, Jörg 1944-, Thomas, Wolfgang 1947-

    Veröffentlicht 2007
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Mathematical logic
    von Ebbinghaus, Heinz-Dieter 1939-, Flum, Jörg 1944-, Thomas, Wolfgang 1947-

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Einführung in die mathematische Logik
    von Ebbinghaus, Heinz-Dieter 1939-, Flum, Jörg 1944-, Thomas, Wolfgang 1947-

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Einführung in die mathematische Logik
    von Ebbinghaus, Heinz-Dieter 1939-, Flum, Jörg 1944-, Thomas, Wolfgang 1947-

    Veröffentlicht 1978
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Einführung in die mathematische Logik
    von Ebbinghaus, Heinz-Dieter 1939-, Flum, Jörg 1944-, Thomas, Wolfgang 1947-

    Veröffentlicht 2018
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Einführung in die mathematische Logik
    von Ebbinghaus, Heinz-Dieter 1939-, Flum, Jörg 1944-, Thomas, Wolfgang 1947-

    Veröffentlicht 2018
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    Tree languages recognizable by regular frontier check
    von Jurvanen, Eija, Potthoff, Andreas, Thomas, Wolfgang 1947-

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Einführung in die mathematische Logik
    von Ebbinghaus, Heinz-Dieter 1939-, Flum, Jörg 1944-, Thomas, Wolfgang 1947-

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    On logics, tilings, and automata
    von Thomas, Wolfgang 1947-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Mathematical logic
    von Ebbinghaus, Heinz-Dieter 1939-, Flum, Jörg 1944-, Thomas, Wolfgang 1947-

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    On frontiers of regular trees
    von Thomas, Wolfgang 1947-

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Mathematical logic
    von Ebbinghaus, Heinz-Dieter 1939-, Flum, Jörg 1944-, Thomas, Wolfgang 1947-

    Veröffentlicht 2022
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Singleton acceptance conditions in omega-automata
    von Leoniuk, Barbara, Lescow, Helmut, Thomas, Wolfgang 1947-

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Automata on infinite objects
    von Thomas, Wolfgang 1947-

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Automata and quantifier hierarchies
    von Thomas, Wolfgang 1947-

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik
    von Thomas, Wolfgang 1947-

    Veröffentlicht 1975
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Einführung in die mathematische Logik
    von Ebbinghaus, Heinz-Dieter 1939-, Flum, Jörg 1944-, Thomas, Wolfgang 1947-

    Veröffentlicht 1998
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Mathematical logic
    von Ebbinghaus, Heinz-Dieter 1939-, Flum, Jörg 1944-, Thomas, Wolfgang 1947-

    Veröffentlicht 2021
    Buch


    Gespeichert in:

Suchwerkzeuge: