Showing 1 - 1 results of 1 for search 'Laure Daviaud', query time: 0.02s Refine Results
  1. 1
    Undecidability of a weak version of MSO+U

    Undecidability of a weak version of MSO+U by Mikołaj Bojańczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle, A. V. Sreejith

    Published 2020-02-01
    Get full text
    Article

Search Tools: