Showing 1 - 4 results of 4 for search 'Michał Skrzypczak', query time: 0.02s Refine Results
  1. 1
    Separation Property for wB- and wS-regular Languages

    Separation Property for wB- and wS-regular Languages by Michał Skrzypczak

    Published 2014-02-01
    Get full text
    Article
  2. 2
    Monadic Second Order Logic with Measure and Category Quantifiers

    Monadic Second Order Logic with Measure and Category Quantifiers by Matteo Mio, Michał Skrzypczak, Henryk Michalewski

    Published 2018-04-01
    Get full text
    Article
  3. 3
    The logical strength of B\"uchi's decidability theorem

    The logical strength of B\"uchi's decidability theorem by Leszek Kołodziejczyk, Henryk Michalewski, Pierre Pradic, Michał Skrzypczak

    Published 2019-05-01
    Get full text
    Article
  4. 4
    Regular tree languages in low levels of the Wadge Hierarchy

    Regular tree languages in low levels of the Wadge Hierarchy by Mikołaj Bojańczyk, Filippo Cavallari, Thomas Place, Michał Skrzypczak

    Published 2019-09-01
    Get full text
    Article

Search Tools: