Browsing by Author "Hummel, Szczepan"

University of Warsaw Repository

pl | en

Browsing by Author "Hummel, Szczepan"

Sort by: Order: Results:

  • Hummel, Szczepan (2017-05-23)
    In this thesis we consider languages of infinite words or trees defined by automata of various types or formulas of various logics. We ask about the highest possible position in the Borel or the projective hierarchy inhabited ...

Search Repository


My Account