Showing 1 - 2 results of 2 for search 'Kolodziejczyk, L', query time: 0.02s Refine Results
  1. 1
    The logical strength of Büchi's decidability theorem

    The logical strength of Büchi's decidability theorem by Kolodziejczyk, L, Michalewski, H, Pradic, P, Skrzypczak, M

    Published 2019
    Journal article
  2. 2
    The logical strength of Büchi's decidability theorem

    The logical strength of Büchi's decidability theorem by Kolodziejczyk, L, Michalewski, H, Pradic, P, Skrzypczak, M

    Published 2016
    Conference item

Search Tools: