Treffer 1 – 2 von 2 für Suche 'Weiermann, Andreas', Suchdauer: 0,02s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Well-quasi orders in computation, logic, language and reasoning a unifying concept of proof theory, automata theory, formal languages and descriptive set theory

    Well-quasi orders in computation, logic, language and reasoning a unifying concept of proof theory, automata theory, formal languages and descriptive set theory

    Veröffentlicht 2020
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Connecting with computability 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021 : proceedings

    Connecting with computability 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021 : proceedings

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: